A small calculus for concurrent objects

Honda K., Tokoro M.

Publication type: Proceedings Article

Publication date: 1991-01-01

Association for Computing Machinery (ACM)

DOI: 10.1145/127056.127079

Copy DOI

Abstract

This brief paper introduces a small anonymous formal system representing the core theory of concurrent object-based computing. Milner's π-calculus is its underlying formalism, but the original calculus is reinterpreted and reformulated to become a simple and powerful expression of concurrent object-based computing. We briefly describe its underlying computational framework, its syntax, transition rules, semantic equivalence, and its special properties concerning naming, which makes this calculus unique among various concurrency formalisms.

Found

	1
ACM SIGPLAN OOPS Messenger	ACM SIGPLAN OOPS Messenger, 1, 33.33% ACM SIGPLAN OOPS Messenger 1 publication, 33.33%
Formal Aspects of Computing	Formal Aspects of Computing, 1, 33.33% Formal Aspects of Computing 1 publication, 33.33%
Lecture Notes in Computer Science	Lecture Notes in Computer Science, 1, 33.33% Lecture Notes in Computer Science 1 publication, 33.33%
	1

	1 2
Springer Nature	Springer Nature, 2, 66.67% Springer Nature 2 publications, 66.67%
Association for Computing Machinery (ACM)	Association for Computing Machinery (ACM), 1, 33.33% Association for Computing Machinery (ACM) 1 publication, 33.33%
	1 2

Are you a researcher?

Create a profile to get free access to personal recommendations for colleagues and new articles.

Metrics

Found error?

Publisher

Association for Computing Machinery (ACM)

A small calculus for concurrent objects

Top-30

Journals

Publishers

Are you a researcher?