| [1] |
M.M. Bonsangue, F. van Breugel, J.J.M.M. Rutten, Alexandroff, and Scott.
Topologies for generalized metric spaces.
In Papers on General Topology and Applications: Eleventh Summer
Conference at University of Southern Maine, volume 806, pages 49-68. Annals
of the New York Academy of Sciences, 1996. [ bib ] |
| [2] |
H.J.M. Goeman, J.N. Kok, K. Sere, and R. Udink.
Coordination in the impunity framework.
In Proceedings of COORDINATION, volume Lecture Notes in
Computer Science 1061, pages 215-230. Springer-Verlag, 1996. [ bib ] |
| [3] |
R.T. Udink and J.N. Kok.
The rpc-memory specification case study: Unity plus refinement
calculus.
In Formal Systems Specification, volume Lecture Notes in
Computer Science 1169, pages 521-540. Springer-Verlag, 1996. [ bib ] |