Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Communicating sequential processes
Communications of the ACM
Cantor User Report: Version 2.0
Cantor User Report: Version 2.0
Specifying concurrent systems with &Dgr;-grammars
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Hi-index | 0.00 |
Concurrent systems in which the number of processes and their interconnections can change dynamically suffer from the problem of ensuring that process interconnections are correctly maintained at all times. We propose a hybrid solution to this problem in which processes are described textually, but interconnections are described graphically using a graph grammar to constrain the legal sets of processes and interconnections that the system may evolve. This paper discusses GARP, a hybrid graphical/textual concurrent programming language that acts as a testbed for our ideas, and illustrates its use with an example.