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

Top-30

Journals

	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

Publishers

	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

We do not take into account publications without a DOI.
Statistics recalculated only for publications connected to researchers, organizations and labs registered on the platform.
Statistics recalculated weekly.

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)