Action calculi, or syntactic action structures

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

Volumn 711 LNCS, Issue , 1993, Pages 105-121

  Milner, Robin ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; BIOMINERALIZATION; PATHOLOGY; SEMANTICS; SYNTACTICS;

ACTION CALCULUS; FREE ALGEBRA; INTERACTIVE COMPUTATION; NON LINEAR; PI CALCULUS;

CALCULATIONS;

EID: 85013592213     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-57182-5_7     Document Type: Conference Paper

References (11)

1. Berry, G. and Boudol, G., The chemical abstract machine, Journal of Theoretical Computer Science, Vol 96, pp217-248, 1992.
2. Banâtre, J.E and Métayer, D., The GAMMA model and its discipline of programming, Science of Computer Programming, Vol 15, pp55-77, 1990.
3. Hoare, C.A.R., Communicating Sequential Processes, Communications of ACM, Vol21, pp666-677, 1978.
4. Honda, K. and Tokoro, M., An object calculus for asynchronous communication, Proc. European Conference on object-oriented programming, Lecture Notes in Computer Science, Vol 512, Springer, pp133-147, 1991.
5. Meseguer, J. and Montanari, U., Petri nets are monoids, Journal of Information and Computation, Vol 88, pp105-155, 1990.
6. Milner, R., Functions as processes, Math. Struct. in Comp. Science, Vol 2, pp119-141, 1992.
7. Milner, R., Action structures, Research Report LFCS-92-249, Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University, 1992.
8. Milner, R., The polyadic π-calculus: a tutorial, Research Report ECS-LFCS-91-180, Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University, 1991. (To appear in the Proceedings of the International Summer School on Logic and Algebra of Specification, Marktoberdorf, August 1991.)
9. Milner, R., Action structures for the π-calculus, Research Report ECS-LFCS-93-264, Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University, 1992.
10. Milner, R., Parrow, J. and Walker D., A calculus of mobile processes, Parts I and II, Journal of Information and Computation, Vol 100, pp1-40 and pp41-77, 1992.
11. Petri, C.A., Fundamentals of a theory of asynchronous information flow, Proc. IFIP Congress '62, Noah Holland, pp386-390, 1962.