1. Austin, J.L.: How to do Things with Words. Oxford University Press, Oxford (1962)
2. Baeten, J.C.M., Middelburg, C.A.: Process algebra with timing: real time and discrete time. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra. Elsevier, Amsterdam (1999)
3. Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. Information and Control 60, 109–137 (1984)
4. de Boer, F.S., van Eijk, R.M., van der Hoek, W., Meyer, J.-J.C.: Fully-abstract model for the exchange of information in multi-agent systems. Theoretical Computer Science 290(3), 1753–1773 (2003) (to appear)
5. de Boer, F.S., Palamidessi, C.: A process algebra of concurrent constraint programming. In: Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP 1992), pp. 463–477. MIT Press, Cambridge (1992)