A Unifying Framework for Process Calculus Semantics of Concurrent Object-Oriented Languages

Authors:
Michael Papathomas
Affiliations:
-
Venue:
ECOOP '91 Proceedings of the Workshop on Object-Based Concurrent Computing
Year:
1991

Citing 0
Cited 2

Regular types for active objects

OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Issues in formal methods

Formal methods for distributed processing

Quantified Score

Hi-index	0.00

Visualization

Abstract