{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:21:31Z","timestamp":1725488491576},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540424970"},{"type":"electronic","value":"9783540446859"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44685-0_10","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T10:16:21Z","timestamp":1186740981000},"page":"137-151","source":"Crossref","is-referenced-by-count":10,"title":["Dynamic Input\/Output Automata: A Formal Model for Dynamic Systems"],"prefix":"10.1007","author":[{"given":"Paul C.","family":"Attie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nancy A.","family":"Lynch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,8,22]]},"reference":[{"key":"10_CR1","series-title":"Lect Notes Comput Sci","volume-title":"NASA Workshop on Formal Approaches to Agent-Based Systems","author":"T. Araragi","year":"2000","unstructured":"Tadashi Araragi, Paul Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy Lynch, and Ken Mano. On formal modeling of agent computations. In NASA Workshop on Formal Approaches to Agent-Based Systems, Apr. 2000. To appear in Springer LNCS."},{"key":"10_CR2","volume-title":"Technical report","author":"P. Attie","year":"2001","unstructured":"Paul Attie and Nancy Lynch. Dynamic input\/output automata: a formal model for dynamic systems. Technical report, Northeastern University, Boston, Mass., 2001. Available at http:\/\/www.ccs.neu.edu\/home\/attie\/pubs.html ."},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"P.C. Attie. Liveness-preserving simulation relations. In Proceedings of the 18\u2019th Annual ACM Symposium on Principles of Distributed Computing, pages 63\u201372, 1999.","DOI":"10.1145\/301308.301328"},{"issue":"1","key":"10_CR4","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L. Cardelli","year":"2000","unstructured":"Luca Cardelli and Andrew D. Gordon. Mobile ambients. Theoretical Computer Science, 240(1):177\u2013213, 2000.","journal-title":"Theoretical Computer Science"},{"key":"10_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"Proceedings of the 7th International Conference on Concurrency Theory (CONCUR\u201996)","author":"C. Fournet","year":"1996","unstructured":"Cedric Fournet, Georges Gonthier, Jean-Jacques Levy, Luc Maranget, and Didier Remy. A calculus of mobile agents. In Proceedings of the 7th International Conference on Concurrency Theory (CONCUR\u201996), Springer-Verlag, LNCS 1119, pages 406\u2013421, Aug. 1996."},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Joseph Y. Halpern and Yoram Moses. Knowledge and Common Knowledge in a Distributed Environment. In Proceedings of the 3\u2019rd Annual ACM Symposium on Principles of Distributed Computing, pages 50\u201361, 1984.","DOI":"10.1145\/800222.806735"},{"key":"10_CR7","unstructured":"Nancy Lynch and Mark Tuttle. An introduction to Input\/Output automata. CWI-Quarterly, 2(3):219\u2013246, September 1989. Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands. Also, Technical Memo MIT\/LCS\/TM-373, Laboratory for Computer Science, Massachusetts Institute of Technology."},{"key":"10_CR8","unstructured":"Nancy Lynch, Michael Merritt, William Weihl, and Alan Fekete. Atomic Transactions. Morgan Kaufmann, 1994."},{"key":"10_CR9","volume-title":"Communicating and mobile systems: the pg-calculus","author":"R. Milner","year":"1999","unstructured":"R. Milner. Communicating and mobile systems: the pg-calculus. Addison-Wesley, Reading, Mass., 1999."},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"J. Riely and M. Hennessy. A typed language for distributed mobile processes. In Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1998.","DOI":"10.1145\/268946.268978"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2001 \u2014 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44685-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T22:11:52Z","timestamp":1556748712000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44685-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424970","9783540446859"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-44685-0_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}