Regular types for active objects
- 1 October 1993
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 28 (10), 1-15
- https://doi.org/10.1145/165854.167976
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Towards a type theory for active objectsACM SIGPLAN OOPS Messenger, 1991
- Viewing object as patterns of communicating agentsACM SIGPLAN Notices, 1990
- Extensional equivalences for transition systemsActa Informatica, 1987
- Observation equivalence as a testing equivalenceTheoretical Computer Science, 1987
- A logic for the specification and proof of regular controllable processes of CCSActa Informatica, 1986
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Acceptance treesJournal of the ACM, 1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- A complete inference system for a class of regular behavioursJournal of Computer and System Sciences, 1984