Author:
Dam Mads,Fredlund Lars-åke,Gurov Dilian
Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Lect Notes Comput Sci;R. Amadio,1996
2. G. Agha, I. A. Mason, S. F. Smith, and C. L. Talcott. A foundation for actor computation. J. Functional Programming, 7:1–72, 1997.
3. J. Armstrong, R. Virding, C. Wikström, and M. Williams. Concurrent Programming in Erlang (Second Edition). Prentice-Hall International (UK) Ltd., 1996.
4. M. Dam. Proving properties of dynamic process networks. To appear, Information and Computation, 1998. Preliminary version as “Compositional Proof Systems for Model Checking Infinite State Processes”, Proc. CONCUR’95, LNCS 962, pp. 12–26.
5. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, I and II. Information and Computation, 100(1):1–40 and 41–77, 1992.
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modeling Actor Systems Using Dynamic I/O Automata;Lecture Notes in Computer Science;2016
2. A Logic for True Concurrency;Journal of the ACM;2014-07
3. Verification of Open Concurrent Object Systems;Formal Methods for Components and Objects;2013
4. A Logic for True Concurrency;CONCUR 2010 - Concurrency Theory;2010
5. State Space Representation for Verification of Open Systems;Algebraic Methodology and Software Technology;2006