Author:
Sabadini N.,Vigna S.,Walters R. F. C.
Reference17 articles.
1. M. Abadi and L. Lamport. Composing specifications. In Stepwise Refinement of Distributed Systems, number 430 in LNCS, pages 1–41, 1987.
2. K.M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.
3. I. Czaja, Ft. von Glabbeek, and U. Golz. Interleaving semantics and action refinement with atomic choice. Preprint.
4. P. Degano, R. Gorrieri, and G. Rosolini. A categorical view of process refinement. In Semantics: Foundations and Applications, number 666 in LNCS.
5. C. Elgot. Monadic computation and iterative algebraic theories. Studies in Logic and the Foundations of Mathematics, 80:175–230, 1975.