Author:
Hooman J. J. M.,de Roever W. P.
Publisher
Springer Berlin Heidelberg
Reference72 articles.
1. The Programming Language Ada, Reference Manual, 1983.
2. P. America and F. de Boer. A proof system for process-creation. In TC2 Working Conference on Programming Concepts and Methods, 1990.
3. K.R. Apt, N. Francez, and W.P. de Roever. A proof system for Communicating Sequential Processes. ACM Transactions on Programming Languages and Systems, 2:359–385, 1980.
4. LNCS;M Abadi,1989
5. J.C.M. Baeten and J.A. Bergstra. Real time process algebra. Formal Aspects of Computing, 3(2):142–188, 1991.