Replication in concurrent combinators

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

Volumn 789 LNCS, Issue , 1994, Pages 786-805

  Honda, Kohei ^a   Yoshida, Nobuko ^a  

^a KEIO UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ATOMS; COMPUTER SOFTWARE;

COMBINATORS; CONCURRENT COMPOSITION; FINITE NUMBER; FIXED NUMBERS; INTERACTION RULES; PI CALCULUS; REPRESENTABILITY; SIMPLE FORMAL SYSTEMS;

CALCULATIONS;

EID: 85026784225     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-57887-0_125     Document Type: Conference Paper

References (15)

1. Abramsky, S., The Lazy Lambda Calculus. D. Turner, editor, Research topics in Functional Programming, Addison Wesley, 1990.
2. Boudol, G., Asynchrony and π-calculus, INRIA Report 1702, INRIA, Sophia Antipolis, May, 1991.
3. Girard, J.-Y., Linear Logic, Theoretical Computer Science, Vol. 50, pp. 1-102, 1987.
4. Honda, K., Kubo, M. and Yoshida, N., Combinatory Representation of Mobile Processes Part I/II, To appear as Keio CS Technical Report, 1994.
5. Honda, K. and Tokoro, M., An Object Calculus for Asynchronous Communication. ECOOP’91, LNCS 512, pp.21-52, Springer-Verlag 1991.
6. Honda, K. and Yoshida, N., On Reduction-Based Process Semantics, Foundations of Software Technology and Theoretical Computer Science, LNCS 761, pp. 371-387, Springer-Verlag, 1993.
7. Honda, K. and Yoshida, N., Combinatory Representation of Mobile Processes, Proc. 21th. Annual Symposium on Principles of Programming Languages, pp.348-360, ACM press, 1994.
8. Jones, C.B., Constraining interference in an object-based design method, TAPSOFT’93, LNCS 668, pp.136-150, Springer Verlag, 1993.
9. Lafont, Y., Interaction Nets, Proc. 17th. Annual Symposium on Principles of Programming Languages, pp. 95-108, ACM press, 1990.
10. Milner, R., A Calculus of Communicating Systems, LNCS 76, Springer Verlag, 1980.
11. Milner, R., Functions as Processes. Mathematical Structure in Computer Science, 2(2), pp.119-146, 1992.
12. Milner, R., Polyadic π-Calculus. Logic and Algebra of Specification, Springer-Verlag, 1992.
13. Milner, R. and Sangiorgi, D., Barbed Bisimulation. Proc. of ICALP’92, LNCS 623, pp.685-695, Springer-Verlag, 1992.
14. Milner, R., Parrow, J.G. and Walker, D.J., A Calculus of Mobile Processes, Information and Computation 100(1), pp.1-77, 1992.
15. Thomsen, B., A calculus of higher order communicating systems. Proc. 16th. Annual Symposium on Principles of Programming Languages, pp. 143-145, 1989.