1. America, P.H.M., de Bakker, J., Kok, J.N., Rutten, J.: Operational semantics of a parallel object-oriented language. In: Conference Record of the 13th Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, pp. 194–208 (1986)
2. America, P.H.M., de Boer, F.S.: Reasoning about dynamically evolving process structures. Formal Aspects of Computing 6, 269–316 (1994)
3. Brazier, F., Dunin-Keplicz, B., Jennings, N., Treur, J.: Formal specification of multi-agent systems: a real-world case. In: Proceedings of International Conference on Multi-Agent Systems (ICMAS 1995), pp. 25–32. MIT Press, Cambridge (1995)
4. Clark, K., Gregory, S.: Parlog: parallel programming in logic. ACM Transactions on Programming Languages and Systems 8(1), 1–49 (1986)
5. van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Systems of communicating agents. In: Prade, H. (ed.) Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI 1998), Brighton, UK, pp. 293–297. John Wiley & Sons, Chichester (1998)