A 15 Year Perspective on Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Development of a debugger for a concurrent language
IEEE Transactions on Software Engineering
Script: a communication abstraction mechanism and its verification
Science of Computer Programming
Concurrent histories: a basis for observing distributed systems
Journal of Computer and System Sciences
An interactive debugger for a concurrent language
ICSE '85 Proceedings of the 8th international conference on Software engineering
Comments on “Communicating Sequential Processes”
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM
Static checking of interprocess communication in ECSP
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Models and Operators for Nondeterministic Processes
Proceedings of the Mathematical Foundations of Computer Science 1984
Specification Languages for Distributed Systems
CAAP '85 Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Volume 1: Colloquium on Trees in Algebra and Programming: Mathematical Foundations of Software Development
An algebraic specification of the partial orders generated by concurrent Ada computations
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
| Hi-index | 0.00 |
A specification language is introduced, able to define the behavior of concurrent programs. The language is particularly devoted to describing distributed applications, mainly with respect to scheduling problems. For this purpose, the language allows visibility of the past history of a computation and such history may be explicitly used to derive the choices on the future behavior of the computation itself and to define the values exchanged at each communication. A behavior is a partial order on events (communications) accomplished by processes, while the values of the communications are specified by a functional language. The most noticeable characteristic of specifications written in this language is the capability to be easily translated into executable concurrent programs (written into a CSP-like concurrent language), so obtaining an early prototype for these programs. An algorithm is described to accomplish the translation. An environment is provided to support static semantics checks on specifications, while dynamic testing and debugging are accomplished using interactive tools of the concurrent language environment.