Author:
Viroli Mirko,Omicini Andrea
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Algebra and Number Theory
Reference41 articles.
1. Austin, J.L.: How do things with words. Oxford University Press (1962)
2. Baeten, J.C.M., Middleburg, C.A.: Process algebra with timing: Real time and discrete time. In: Bergstra et al. [5], chap. 10, pp. 627–684
3. Bergenti, F.: Formalizing the reusability of software agents. In: Omicini, A., Petta, P., Pitt, J. (eds.) Engineering Societies in the Agents World IV, vol. 3071 of LNAI. 4th International Workshop (ESAW 2003), London, UK, 29–31 October 2003. Revised Selected and Invited Papers. Springer, Berlin Heidelberg New York (2004)
4. Bergenti, F., Rimassa, G., Viroli, M.: Operational semantics for agents by iterated refinement. In: Leite, J.A., Omicini, A., Sterling, L., Torroni, P. (eds.) Declarative Agent Languages and Technologies, vol. 2990 of LNAI, pp. 39–55. 1st International Workshop (DALT 2003), Melbourne, Australia, 15 July 2003. Revised Selected and Invited Papers. Springer, Berlin Heidelberg New York (2004)
5. Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. North-Holland, Amsterdam, London, New York, Oxford, Paris, Shannon and Tokyo (2001)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献