{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:47Z","timestamp":1725467447379},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633839"},{"type":"electronic","value":"9783540695271"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63383-9_96","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T10:27:52Z","timestamp":1153132072000},"page":"418-421","source":"Crossref","is-referenced-by-count":3,"title":["Concurrent Metatem as a coordination language"],"prefix":"10.1007","author":[{"given":"Adam","family":"Kellett","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"volume-title":"The Imperative Future: Principles of Executable Temporal Logics","year":"1996","key":"28_CR1","unstructured":"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."},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"E. A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 996\u20131072. Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"28_CR3","volume-title":"First International Conference on Temporal Logic (ICTL)","author":"M. Fisher","year":"1994","unstructured":"M. Fisher. A Survey of Concurrent Metatem \u2014 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)."},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"M. Fisher. Representing and Executing Agent-Based Systems. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-58855-8_20"},{"issue":"1","key":"28_CR5","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1017\/S0269888900007670","volume":"11","author":"M. Fisher","year":"1996","unstructured":"M. Fisher. An Introduction to Executable Temporal Logics. Knowledge Engineering Review, 11(1):43\u201356, March 1996.","journal-title":"Knowledge Engineering Review"},{"key":"28_CR6","unstructured":"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."},{"key":"28_CR7","volume-title":"Parallel Architectures and Languages, Europe (PARLE)","author":"M. Fisher","year":"1993","unstructured":"M. Fisher. Concurrent Metatem \u2014 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)."},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"J-M. Andreoli, H. Gallaire, and R. Pareschi. Rule Based Object Coordination. Object-Based Models and Languages for Concurrent Systems ed. P Ciancarini, O. Nierstrsz, A. Yonezawa. LNCS 924. Springer-Verlag. 1994.","DOI":"10.1007\/3-540-59450-7_1"}],"container-title":["Lecture Notes in Computer Science","Coordination Languages and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63383-9_96","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T22:03:52Z","timestamp":1555711432000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63383-9_96"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633839","9783540695271"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-63383-9_96","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}