Author:
Fisher Michael,Ghidini Chiara,Hirsch Benjamin
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (May 2001)
2. Birman, K.P.: The Process Group Approach to Reliable Distributed Computing. Techanical Report TR91-1216, Department of Computer Science, Cornell University (July 1991)
3. Booch, G.: Object-Oriented Analysis And Design With Applications. Addison-Wesley, Reading (1994)
4. Calder, M., Kolberg, M., Magill, E.H., Reiff-Marganiec, S.: Feature interaction: a critical review and considered forecast. Computer Networks 41(1), 115–141 (2003)
5. Fisher, M., Kakoudakis, T.: Flexible Agent Grouping in Executable Temporal Logic. In: Proceedings of Twelfth International Symposium on Languages for Intensional Programming (ISLIP), World Scientific Press, Singapore (1999)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. References;An Introduction to Practical Formal Methods Using Temporal Logic;2011-04-26
2. How to Program Organizations and Roles in the JADE Framework;Multiagent System Technologies;2008
3. MetateM: The Story so Far;Lecture Notes in Computer Science;2006
4. Implementing Temporal Logics: Tools for Execution and Proof;Lecture Notes in Computer Science;2006