{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:03:36Z","timestamp":1725563016335},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642148071"},{"type":"electronic","value":"9783642148088"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14808-8_22","type":"book-chapter","created":{"date-parts":[[2010,8,21]],"date-time":"2010-08-21T09:52:01Z","timestamp":1282384321000},"page":"322-336","source":"Crossref","is-referenced-by-count":1,"title":["Characterizing Locality (Encapsulation) with Bisimulation"],"prefix":"10.1007","author":[{"given":"Pablo F.","family":"Castro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom S. E.","family":"Maibaum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF01212304","volume":"4","author":"J.L. Fiadeiro","year":"1992","unstructured":"Fiadeiro, J.L., Maibaum, T.: Temporal theories as modularization units for concurrent system specification. Formal Aspects of Computing\u00a04, 239\u2013272 (1992)","journal-title":"Formal Aspects of Computing"},{"issue":"4","key":"22_CR2","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1016\/j.jal.2009.02.001","volume":"7","author":"P.F. Castro","year":"2009","unstructured":"Castro, P.F., Maibaum, T.: Deontic action logic, atomic boolean algebra and fault-tolerance. Journal of Applied Logic\u00a07(4), 441\u2013466 (2009)","journal-title":"Journal of Applied Logic"},{"key":"22_CR3","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1007\/978-94-009-6259-0_11","volume-title":"Handbook of Philosophical Logic","author":"L. Aqvist","year":"1984","unstructured":"Aqvist, L.: Deontic logic. In: Gabbay, D.M., Guenther, F. (eds.) Handbook of Philosophical Logic, vol.\u00a02, pp. 605\u2013714. Kluwer Academic Publishers, Dordrecht (1984)"},{"key":"22_CR4","unstructured":"Wieringa, R.J., Meyer, J.J.: Applications of deontic logic in computer science: A concise overview. Deontic Logic in Computer Science, Normative System Specification (1993)"},{"key":"22_CR5","volume-title":"Temporal Logic in Computation","author":"S. Khosla","year":"1985","unstructured":"Khosla, S., Maibaum, T.: The prescription and description of state-based systems. In: Banieqnal, B., Pnueli, H.A. (eds.) Temporal Logic in Computation. Springer, Heidelberg (1985)"},{"key":"22_CR6","unstructured":"Burstall, R., Goguen, J.: Putting theories together to make specifications. In: Reddy, R. (ed.) Porc. Fifth International Joint Conference on Artificial Intelligence (1977)"},{"key":"22_CR7","volume-title":"Categories for the Working Mathematician","author":"S. MacLane","year":"1998","unstructured":"MacLane, S.: Categories for the Working Mathematician. Springer, Heidelberg (1998)"},{"key":"22_CR8","unstructured":"Fiadeiro, J.L., Maibaum, T.: Towards object calculi. In: Saake, G., Sernadas, A. (eds.) Information Systems; Correctness and Reusability, Technische Universit\u00e4t Braunschweig (1991)"},{"key":"22_CR9","volume-title":"Temporal Logic and their Applications","author":"H. Barringer","year":"1987","unstructured":"Barringer, H.: The use of temporal logic in the compositional specification of concurrent systems. In: Galton, A. (ed.) Temporal Logic and their Applications. Academic Press, London (1987)"},{"key":"22_CR10","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1145\/201019.201032","volume":"42","author":"R. DeNicola","year":"1995","unstructured":"DeNicola, R., Vaandrager, F.: Three logics for branching bisimulation. Journal of the ACM\u00a042, 458\u2013487 (1995)","journal-title":"Journal of the ACM"},{"key":"22_CR11","unstructured":"Castro, P.F.: Deontic Action Logics for the Specification and Analysis of Fault-Tolerance. PhD thesis, McMaster University, Department of Computing and Software (2009)"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Goguen, J., Burstall, R.: Institutions: Abstract model theory for specification and programming. Journal of the Association of Computing Machinery (1992)","DOI":"10.1145\/147508.147524"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Fiadeiro, J.L., Sernadas, A.: Structuring theories on consequence. In: Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, Selected Papers, pp. 44\u201372 (1987)","DOI":"10.1007\/3-540-50325-0_3"},{"key":"22_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-70525-3_4","volume-title":"Deontic Logic in Computer Science","author":"P.F. Castro","year":"2008","unstructured":"Castro, P.F., Maibaum, T.: A tableaux system for deontic action logic. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol.\u00a05076, pp. 34\u201348. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14808-8_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:57:46Z","timestamp":1606186666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14808-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642148071","9783642148088"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14808-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}