{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:47:12Z","timestamp":1748072832737},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544159"},{"type":"electronic","value":"9783540476177"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54415-1_65","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:45:57Z","timestamp":1330191957000},"page":"569-593","source":"Crossref","is-referenced-by-count":38,"title":["Sharing actions and attributes in modal action logic"],"prefix":"10.1007","author":[{"given":"Mark","family":"Ryan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9","family":"Fiadeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Maibaum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"J. Fiadeiro and T. Maibaum. Describing, structuring and implementing objects. In Proc. REX Workshop on Foundations of Object-Oriented Languages. Springer-Verlag, in print.","DOI":"10.1007\/BFb0019447"},{"key":"28_CR2","unstructured":"J. Goguen. A categorial manifesto. Technical Report PRG-72, Programming Research Group, University of Oxford, March 1989."},{"key":"28_CR3","unstructured":"R. Goldblatt. Logics of Time and Computation. CSLI Lecture Notes, 1987."},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"S. Khosla and T. S. E. Maibaum. The perscription and description of state based systems. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Temporal Logic in Specification. 1989. Lecture Notes in Computer Science 398.","DOI":"10.1007\/3-540-51803-7_30"},{"key":"28_CR5","unstructured":"T. S. E. Maibaum. A logic for the formal requirements specification of real-time embedded systems. Technical report, Imperial College, London, 1987. Deliverable R3 for FOREST (Alvey)."},{"key":"28_CR6","unstructured":"Mark Ryan. Defaults and revision in structured theories. In Logic in Computer Science (LICS), July 1991."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computer Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54415-1_65.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:21:30Z","timestamp":1619558490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54415-1_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544159","9783540476177"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-54415-1_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}