| [1] |
P. Knijnenburg and J.N. Kok.
The semantics of the combination of atomized statements and parallel
choice.
Formal Aspects of Computing (1997), 9:518-536, 1998. [ bib ] |
| [2] |
M.M. Bonsangue, J.N. Kok, and K. Sere.
An approach to object-orientation in action systems.
In Proceedings of the 4th International Conference on
Mathematics of Program Constructions (MPC'98), June 15 - 17, 1998, Marstrand,
Sweden, volume 1422 of Lecture Notes in Computer Science, pages
68-95. Springer Verlag, 1998. [ bib ] |
| [3] |
H. Goeman, J.N. Kok, K. Sere, and R.T. Udink.
Coordination in the impunity framework.
Science of Computer Programming, 31:313-334, 1998. [ bib ] |
| [4] |
M.M. Bonsangue, J.N. Kok, M. Boasson, and E. de Jong.
A software architecture for distributed control systems and its
transition system semantics.
In Proceedings of the ACM Symposium on Applied Computing (SAC
'98), Atlanta, pages 159-168. ACM press, 1998. [ bib ] |