First-order axioms for asynchrony

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1243, Issue , 1997, Pages 376-390

  Selinger, Peter ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957868303     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63141-0_26     Document Type: Conference Paper

References (14)

1. S. Abramsky. Interaction categories and communicating sequential processes. In A. W. Roscoe, editor, A Classical Mind: Essays in honour of C. A. R. Hoare, pages 1-16. Prentice Hall International, 1994.
2. S. Abramsky, S. Gay, and R. Nagarajan. Interaction categories and typed concurrent programmlng. In Proceedings of the 1994 Marktoberdorf Summer School. Springer, 1994.
3. I.M. Amadio, I. Castellani, and D. Sangiorgi. On bisimulations for the asynchronous 7r-calculus. In CONCUR '96, Springer LNCS 1119, pages 147-162, 1996.
4. M.A. Bednarczyk. Categories of asynchronous systems. PhD thesis, University of Sussex, 1988.
5. G. Berry and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96:217-248, 1992.
6. G. Boudol. Asynchrony and the π-calculus. Technical Report 1702, INRIA, Sophia- Antipolis, 1992.
7. C. Fournet and G. Gonthier. The reflexive chain and the join-calculus. In POPL '96, 1996.
8. C. Foumet, G. Gonthier, J.-J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. In CONCUR '96, Springer LNCS 1119, pages 406-421, 1996.
9. K. Honda and M. Tokoro. An object calculus for asynchronous communication. In Proc. ECOOP 91, Geneve, 1991.
10. N. A. Lynch and E. W. Stark. A proof of the Kahn principle for input/output automata. Information and Computation, 82:81-92, 1989.
11. R. Milner. A Calculus of Communicationg Systems. Springer LNCS 92. 1980.
12. R. Milner. Operational and algebraic semantics of concurrent processes. Technical report, University of Edinburgh, Nov. 1987. Chapter for the Handbook of Theoretical Computer Science.
13. C. Palamidessi. Comparing the expressive power of the synchronous and the asynchronous π-calculus. In POPL '97 (Paris), 1997.
14. M.W. Shields. Concurrent machines. Theoretical Computer Science, 28:449-465, 1985.