Author:
Pinna G. Michele,Poigné Axel
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. J.A. Goguen, R.M. Burstall, Introducing Institutions. in E. Clarke (ed), Logics of Programming Workshop, Springer Verlag, 1984
2. S. Brookes, C.A.R. Hoare, A. Roscoe. A Theory of Communicating Sequential Processes. Journal of ACM 31, 1984, pp. 560–599
3. FZI Publication 1/94;R. Budde,1994
4. I. Czaja, R.J. van Glabbeek, U. Goltz. Interleaving Semantics and Action Refinement with Atomic Choice. In: G. Rozenberg (ed.) Advances in Petri Nets '92, LNCS 609, 1992
5. A.B. Cremers, T.N. Hibbard. Axioms for Concurrent Processes. In New results and New Trends in Computer Sciences, volume 555 of LNCS, 1991, pp. 54–68