| [1] |
M.M. Bonsangue and J.N. Kok.
Specifying computations using hyper transition systems.
In P. Ruzicka I. Privara, editor, Proceedings of the 22nd
International Symposium on Mathematical Foundations of Computer Science
(MFCS'97), number 1295 in Lecture Notes in Computer Science, pages 169-178.
Springer Verlag, 1997. [ bib ] |
| [2] |
M.M. Bonsangue and J.N. Kok.
Infinitary domain logic for finitary transition systems.
In T. Ito M. Abadi, editor, Proceedings of the 3rd Symposium on
Theoretical Aspects of Computer Software (TACS'97), number 1281 in Lecture
Notes in Computer Science, pages 213-232. Springer Verlag, 1997. [ bib ] |
| [3] |
E. Hedman, J.N. Kok, and K. Sere.
Coordinating action systems.
In D. Le Métayer D. Garlan, editor, Proceedings of
Coordination Languages and Models, number 1282 in Lecture Notes in Computer
Science, pages 302-319. Springer Verlag, 1997. [ bib ] |