| [1] |
M.M. Bonsangue and J.N. Kok.
Towards an infinitary logic of domains: Abramsky logic for transition
systems.
Information and Computation, (155):170-201, 1999. [ bib ] |
| [2] |
M.M. Bonsangue, J.N. Kok, and G. Zavattaro.
Comparing software architectures for coordination languages.
In P. Ciancarini and A. Wolf, editors, Proceedings of the 3rd
International Conference on Coordination Languages and Models (Coordination
99), volume 1594 of LNCS, pages 150-164. Springer-Verlag, 1999. [ bib ] |
| [3] |
M.M. Bonsangue, J.N. Kok, and G. Zavattaro.
Comparing coordination models based on shared distributed replicated
data.
In Proceedings of the ACM Symposium on Applied Computing (SAC
'99), pages 146-155. ACM press, 1999. [ bib ] |
| [4] |
M.M. Bonsangue, J.N. Kok, and K. Sere.
Developing object-based distributed systems.
In Proceedings of the 3rd IFIP International Conference on
Formal Methods for Open Object-based Distributed Systems (FMOODS'99), pages
19-34. Kluwer, 1999. [ bib ] |