Agha, Gul A.; Thati, Prasannaa; Ziaei, Reza Actors: A model for reasoning about open distributed systems. (English) Zbl 1253.68234 Bowman, Howard (ed.) et al., Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). 155-176 (2010). MSC: 68Q85 68M14 68N30 PDF BibTeX XML Cite \textit{G. A. Agha} et al., in: Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press. 155--176 (2010; Zbl 1253.68234)
Thati, Prasannaa; Ziaei, Reza; Agha, Gul A theory of may testing for asynchronous calculi with locality and no name matching. (English) Zbl 1275.68106 Kirchner, Hélène (ed.) et al., Algebraic methodology and software technology. 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9–13, 2002. Prodeedings. Berlin: Springer (ISBN 3-540-44144-1/pbk). Lecture Notes in Computer Science 2422, 223-238 (2002). MSC: 68Q85 PDF BibTeX XML Cite \textit{P. Thati} et al., Lect. Notes Comput. Sci. 2422, 223--238 (2002; Zbl 1275.68106) Full Text: DOI
Thati, Prasannaa; Ziaei, Reza; Agha, Gul A theory of may testing for actors. (English) Zbl 1048.68059 Jacobs, Bart (ed.) et al., Formal methods for open object-based distributed systems V. IFIP TC6/ WG6.1 5th international conference, FMOODS 2002, Enschede, the Netherlands, March 20–22, 2002. Boston: Kluwer Academic Publishers (ISBN 0-7923-7683-8). IFIP, Int. Fed. Inf. Process. 81, 147-162 (2002). MSC: 68Q85 PDF BibTeX XML Cite \textit{P. Thati} et al., in: Formal methods for open object-based distributed systems V. IFIP TC6/ WG6. 1 5th international conference, FMOODS 2002, Enschede, the Netherlands, March 20--22, 2002. Boston: Kluwer Academic Publishers. 147--162 (2002; Zbl 1048.68059)