Author:
Thati Prasanna,Talcott Carolyn,Agha Gul
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)
2. Boreale, M., De Nicola, R., Pugliese, R.: Trace and testing equivalence on asynchronous processes. Information and Computation 172(2), 139–164 (2002)
3. Boudol, G.: Asynchrony and the π-Calculus. Technical Report 1702, INRIA Technical Report (May 1992)
4. Lecture Notes in Computer Science;I. Castellani,1998
5. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Quesada, J.F.: Towards Maude 2.0. In: International Workshop on Rewriting Logic and its Applications. Electronic Notes in Theoretical Computer Science, vol. 36, pp. 297–318 (2000)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modeling Actor Systems Using Dynamic I/O Automata;Lecture Notes in Computer Science;2016
2. Verification of Open Concurrent Object Systems;Formal Methods for Components and Objects;2013
3. Actors and Logical Analysis of Interactive Systems;Electronic Notes in Theoretical Computer Science;2005-12