Communicating sequential processes
Communicating sequential processes
Miranda: a non-strict functional language with polymorphic types
Proc. of a conference on Functional programming languages and computer architecture
A programming environment for CSP
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
The design and use of a Prolog trace generator for CSP
Software—Practice & Experience
CSP-programs as nets with individual tokens
Advances in Petri Nets 1984
Algebraic theory of processes
A LISP implementation of the model for `communicating sequential processes'
Software—Practice & Experience
Communication and concurrency
A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
ADA Programming Language
Concurrency, Modularity, and Synchronization
MFCS '89 Proceedings on Mathematical Foundations of Computer Science 1989
An undergraduate course in concurrent programming using Ada
ACM SIGCSE Bulletin
DPLab: an environment for distributed programming
ITiCSE '99 Proceedings of the 4th annual SIGCSE/SIGCUE ITiCSE conference on Innovation and technology in computer science education
Teaching Concurrency Concepts to Freshmen
Transactions on Petri Nets and Other Models of Concurrency I
Hi-index | 0.00 |