Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
How to invent a Prolog machine
Proceedings on Third international conference on logic programming
Modeling concurrency with partial orders
International Journal of Parallel Programming
Object-oriented concurrent programming ABCL/1
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Program Transformation and Programming Environments
Program Transformation and Programming Environments
A Calculus of Communicating Systems
A Calculus of Communicating Systems
On the composition of processes
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Lectures on a Calculus for Communicating Systems
Seminar on Concurrency, Carnegie-Mellon University
Transformation of concurrent object systems
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Hi-index | 0.00 |
A design and verification technique for implementation schemes of distributed software is presented. In this technique, first, the specification is modelled by a concurrent object system, that is, one which is constituted of computational agents with capability of concurrent execution and message passing. Then, such a concurrent object system is transformed into another concurrent object system, which models a sophisticated implementation scheme.Our transformation technique is mainly based on fusing and splitting concurrent objects. The correctness of transformation rules can be proven formally.