{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:55:24Z","timestamp":1725458124303},"publisher-location":"Boston, MA","reference-count":25,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780792374817"},{"type":"electronic","value":"9780306470059"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/0-306-47005-5_20","type":"book-chapter","created":{"date-parts":[[2005,12,30]],"date-time":"2005-12-30T00:16:17Z","timestamp":1135901777000},"page":"229-242","source":"Crossref","is-referenced-by-count":10,"title":["Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-based Applications"],"prefix":"10.1007","author":[{"given":"Manuel Aguilar","family":"Cornejo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hubert","family":"Garavel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Mateescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"No\u00ebl","family":"de Palma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"L. Bellissard, N. De Palma, A. Freyssinet, M. Herrmann, and S. Lacourte. An Agent Platform for Reliable Asynchronous Distributed Programming. In Proceedings of SRDS\u201999 (Lausanne, Suisse), 1999.","DOI":"10.1109\/RELDIS.1999.805107"},{"key":"20_CR2","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1049\/sej.1993.0014","volume":"8","author":"T. Bloom","year":"1993","unstructured":"T. Bloom and M. Day. Reconfiguration and Module Replacement in Argus: Theory and Practice. Soft. Eng. Journal, 8:102\u2013108, 1993.","journal-title":"Soft. Eng. Journal"},{"key":"20_CR3","unstructured":"E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 2000."},{"issue":"5","key":"20_CR4","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1016\/0169-7552(92)90013-G","volume":"23","author":"J. Meer de","year":"1992","unstructured":"J. de Meer, R. Roth, and S. Vuong. Introduction to Algebraic Specifications Based on the Language Act One. Computer Networks and ISDN Systems, 23(5):363\u2013392, 1992.","journal-title":"Computer Networks and ISDN Systems"},{"key":"20_CR5","unstructured":"E. A. Emerson and C-L. Lei. Efficient Model Checking in Fragments of the Prepositional Mu-Calculus. In Proc. of LICS\u201986, pp. 267\u2013278."},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"J-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireanu. Cadp (C\u00e6sar\/ald\u00e9baran Development Package): A Protocol Validation and Verification Toolbox. In R. Alur and T. A. Henzinger, editors, Proc. of CAV\u201996 (New Brunswick, NJ, USA), Lncs vol. 1102, pp. 437\u2013440.","DOI":"10.1007\/3-540-61474-5_97"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"J-C. Fernandez, C. Jard, T. J\u00e9ron, L. Nedelka, and C. Viho. Using On-the-Fly Verification Techniques for the Generation of Test Suites. In R. Alur and T. A. Henzinger, editors, Proc. of CAV\u201996 (New Brunswick, NJ, USA), Lncs vol. 1102, pp. 348\u2013359.","DOI":"10.1007\/3-540-61474-5_82"},{"key":"20_CR8","unstructured":"H. Garavel. Compilation of LOTOS Abstract Data Types. In S. Vuong, editor, Proc. of FORTE\u201989 (Vancouver, Canada), pp. 147\u2013162. North-Holland, 1989."},{"key":"20_CR9","unstructured":"H. Garavel and F. Lang. SVL: a Scripting Language for Compositional Verification. In Proc. of FORTE\u201901 (Cheju Island, Korea), Kluwer Academic, 2001."},{"key":"20_CR10","unstructured":"H. Garavel and J. Sifakis. Compilation and Verification of LOTOS Specifications. In L. Logrippo, R. L. Probert, and H. Ural, editors, Proc. of PSTV\u201990 (Ottawa, Canada), Kluwer Academic, pp. 379\u2013394."},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"20_CR12","volume-title":"Int. Std. 8807","author":"Iso\/Iec.","year":"1988","unstructured":"Iso\/Iec. Lotos-A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. Int. Std. 8807, Iso, Gen\u00e8ve, 1988."},{"issue":"6","key":"20_CR13","doi-asserted-by":"publisher","first-page":"663","DOI":"10.1109\/32.24720","volume":"15","author":"J. Kramer","year":"1989","unstructured":"J. Kramer and J. Magee. Constructing Distributed Systems in Conic. IEEE Trans. on Soft. Eng., 15(6):663\u2013675, 1989.","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"J. Kramer and J. Magee. The Evolving Philosophers Problem: Dynamic Change Management. IEEE Trans. on Soft. Eng., pp. 1293\u20131306, 1990.","DOI":"10.1109\/32.60317"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"J.-P. Krimm and L. Mounier. Compositional State Space Generation from Lotos Programs. In Ed Brinksma, editor, Proc. of TACAS\u201997 (Enschede, The Netherlands), Lncs vol. 1217.","DOI":"10.1007\/BFb0035392"},{"key":"20_CR16","unstructured":"P. Laumay, E. Bruneton, L. Bellissard, and S. Krakowiak. Preserving Causality in a Scalable Message-Oriented Middleware. C3DS 3rd Year Report Deliverable, Esprit Long Term Research Project no. 24962 ( http:\/\/www.newcastle.research.ec.org\/c3ds ), 2001."},{"key":"20_CR17","unstructured":"M. Litzkow and M. Solomon. Supporting Checkpointing and Process Migration Outside the UNIX Kernel. In Proc. of the USENIX Winter Conference (San Francisco, USA), pp. 283\u2013290, 1992."},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"R. Mateescu and M. Sighireanu. Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus. In S. Gnesi, I. Schieferdecker, and A. Rennoch, editors, Proc. of FMICS\u20192000 (Berlin, Germany), GMD Report 91, pp. 65\u201386. Full version available as Inria Research Report RR-3899.","DOI":"10.1016\/S0167-6423(02)00094-1"},{"key":"20_CR19","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"20_CR20","unstructured":"N. De Palma, L. Bellissard, and M. Riveill. Dynamic Reconfiguration of Agent-Based Applications. In Proc. of ERSADS\u201999 (Madeira Island, Portugal), 1999."},{"key":"20_CR21","unstructured":"N. De Palma, L. Bellissard, D. F\u00e9liot, A. Freyssinet, M. Herrmann, and S. Lacourte. The AAA Agent-based Message Oriented Middleware. Tech. Report 30, C3DS Public Tech. Report Series, Esprit Project no. 24962, 2000."},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"M. L. Powell and B. P. Miller. Process Migration in Demos\/Mp. In Proc. of the 6th ACM Symp. on on Operating System Principles, pp. 110\u2013119, 1983.","DOI":"10.1145\/800217.806619"},{"issue":"1","key":"20_CR23","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/174625.174629","volume":"16","author":"J. M. Purtilo","year":"1994","unstructured":"J. M. Purtilo. The Polylith Software Bus. Acm Toplas, 16(1):151\u2013174, 1994.","journal-title":"Acm Toplas"},{"issue":"6","key":"20_CR24","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0020-0190(91)90008-6","volume":"39","author":"M. Raynal","year":"1991","unstructured":"M. Raynal, A. Schiper, and S. Toueg. The Causal Ordering Abstraction and a Simple Way to Implement It. Inf. Proc. Letters, 39(6):343\u2013350, 1991.","journal-title":"Inf. Proc. Letters"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"P. Sewell, P. T. Wojciechowski, and B. C. Pierce. Location-Independent Communication for Mobile Agents: A Two-Level Architecture. In Proc. of ICCL\u201998 (Chicago, USA), LNCS vol. 1686, pp. 1\u201331.","DOI":"10.1007\/3-540-47959-7_1"}],"container-title":["IFIP International Federation for Information Processing","New Developments in Distributed Applications and Interoperable Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-306-47005-5_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,6]],"date-time":"2023-05-06T01:32:39Z","timestamp":1683336759000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-306-47005-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9780792374817","9780306470059"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/0-306-47005-5_20","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[],"published":{"date-parts":[[2002]]}}}