Concurrent metatem as a coordination language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1282, Issue , 1997, Pages 418-420

  Kellett, Adam ^a   Fisher, Michael ^a  

^a MANCHESTER METROPOLITAN UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

MESSAGE PASSING; SPECIFICATIONS;

BROADCAST MESSAGES; CONCURRENT OBJECTS; COORDINATION LANGUAGE; DIRECT EXECUTION; FORMAL NOTATIONS; HIGH-LEVEL MECHANISM; TEMPORAL SPECIFICATION; UNDERLYING LANGUAGE;

HIGH LEVEL LANGUAGES;

EID: 79956123453     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63383-9_96     Document Type: Conference Paper

References (8)

1. H. Barringer, M. Fisher, D. Gabbay, R. Owens, and M. Reynolds, editors. The Imperative Future: Principles of Executable Temporal Logics. Research Studies Press, Chichester, United Kingdom, 1996.
2. E. A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 996-1072. Elsevier, 1990.
3. M. Fisher. A Survey of Concurrent MetateM — The Language and its Applications. In First International Conference on Temporal Logic (ICTL), Bonn, Germany, July 1994. (Published in Lecture Notes in Computer Science, volume 827, Springer-Verlag).
4. M. Fisher. Representing and Executing Agent-Based Systems. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents. Springer-Verlag, 1995.
5. M. Fisher. An Introduction to Executable Temporal Logics. Knowledge Engineering Review,11(1):43-56, March 1996.
6. M. Fisher and M. Wooldridge. A Logical Approach to the Representation of Societies of Agents. In N. Gilbert and R. Conte, editors, Artificial Societies. UCL Press, 1995.
7. M. Fisher. Concurrent MetateM — A Language for Modeling Reactive Systems. In Parallel Architectures and Languages, Europe (PARLE), Munich, Germany, June 1993. (Published in Lecture Notes in Computer Science, volume 694, Springer-Verlag).
8. J-M. Andreoli, H. Gallaire, and R. Pareschi. Rule Based Object Coordination. Object-Based Models and Languages for Concurrent Systemsed. P. Ciancarini, O. Nierstrsz, A. Yonezawa. LNCS 924. Springer-Verlag. 1994.