A pi-calculus semantics for an object-based design notation-Reference-Cited by-同舟云学术

A pi-calculus semantics for an object-based design notation

Published:1993 Issue: Volume: Page:158-172
ISSN:0302-9743
Container-title:CONCUR'93
language:
Short-container-title:

Author:

Jones C. B.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-57208-2_12.pdf

Reference25 articles.

1. P. America, editor. ECOOP'91, volume 612 of Lecture Notes in Computer Science. Springer-Verlag, 1991.

2. Pierre America and Jan Rutten. A Parallel Object-Oriented Language: Design and Semantic Foundations. PhD thesis, Free University of Amsterdam, 1989.

3. Pierre America and Jan Rutten. A layered semantics for a parallel object-oriented language. Formal Aspects of Computing, 4(4):376–408, 1992.

4. J. C. M. Baeten, editor. Applications of Process Algebra. Cambridge University Press, 1990.

5. J. W. de Bakker and E. P. de Vink. Rendez-vous with metric semantics. In Proceedings of the REX Workshop on Semantics: Foundations and Applications, volume 506 of Lecture Notes in Computer Science. Springer-Verlag, 1991.

Cited by 39 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Secure Implementation of Asynchronous Method Calls and Futures;Trusted Systems;2012

2. Asynchronous sequential processes;Information and Computation;2009-04

3. Bisimulations for Untyped Imperative Objects;Programming Languages and Systems;2006

4. A generic type system for the Pi-calculus;Theoretical Computer Science;2004-01

5. A First-Order Syntax for the π-Calculus in Isabelle/HOL using Permutations;Electronic Notes in Theoretical Computer Science;2001-11