{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:39Z","timestamp":1725664839153},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635338"},{"type":"electronic","value":"9783540695936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63533-5_16","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:28:49Z","timestamp":1330298929000},"page":"298-317","source":"Crossref","is-referenced-by-count":2,"title":["Specification of required non-determinism"],"prefix":"10.1007","author":[{"given":"K.","family":"Lano","sequence":"first","affiliation":[]},{"given":"J.","family":"Bicarregui","sequence":"additional","affiliation":[]},{"given":"J.","family":"Fiadeiro","sequence":"additional","affiliation":[]},{"given":"A.","family":"Lopes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"J-R Abrial. The B Book: Assigning Programs to Meanings. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511624162"},{"key":"16_CR2","volume-title":"Extending B Without Changing it (for Developing Distributed Systems)","author":"J-R Abrial","year":"1996","unstructured":"J-R Abrial. Extending B Without Changing it (for Developing Distributed Systems), B Conference, IRIN, Nantes, November 1996."},{"key":"16_CR3","unstructured":"M Butler. Stepwise Refinement of Communicating Systems, Southampton University, 1997."},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"K M Chandy and J Misra. Parallel Program Design-A Foundation. AddisonWesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"16_CR5","unstructured":"S Cook and J Daniels. Designing Object Systems: Object-Oriented Modelling with Syntropy. Prentice Hall, Sept 1994."},{"issue":"3","key":"16_CR6","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF01212304","volume":"4","author":"J Fiadeiro","year":"1992","unstructured":"J Fiadeiro and T Maibaum. Temporal Theories as Modularisation Units for Concurrent System Specification, Formal Aspects of Computing 4(3), pp. 239\u2013272, 1992.","journal-title":"Formal Aspects of Computing"},{"key":"16_CR7","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/S0167-6423(96)00025-1","volume":"28","author":"J Fiadeiro","year":"1997","unstructured":"J Fiadeiro and T Maibaum. Categorical Semantics of Parallel Program Design, Science of Computer Programming, 28 (1997), pp. 111\u2013138, 1997.","journal-title":"Science of Computer Programming"},{"issue":"2","key":"16_CR8","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/BF00122417","volume":"8","author":"C. B. Jones","year":"1996","unstructured":"C B Jones. Accommodating Interference in the formal design of concurrent objectbased programs. Formal Methods in System Design, 8(2): 105\u2013122, March 1996.","journal-title":"Formal Methods in System Design"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"R Kuiper. Enforcing Nondeterminism via Linear Time Temporal Logic Specification using Hiding, in B Banieqbal, H Barringer and A Pnueli (eds) Temporal Logic in Specification, LNCS 398, Springer-Verlag 1989, 295\u2013303.","DOI":"10.1007\/3-540-51803-7_31"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"K Lano, S Goldsack, J Bicarregui and S Kent. Integrating VDM ++ and Real-Time System Design, Z User Meeting, 1997.","DOI":"10.1007\/BFb0027290"},{"key":"16_CR11","unstructured":"A Lopes. COMMUNITY and Required Non-determinism, Department of Informatics, University of Lisbon, 1996."},{"key":"16_CR12","unstructured":"C McHale. Synchronisation in Concurrent, Object-oriented Languages: Expressive Power, Genericity and Inheritance. PhD Thesis, University of Dublin, 1995."},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"C Stirling. Comparing linear and branching time temporal logics. In B Baniegbal, H Barringer and A Pnueli (eds) Temporal Logic in Specification, LNCS 398, Springer-Verlag 1989.","DOI":"10.1007\/3-540-51803-7_19"}],"container-title":["Lecture Notes in Computer Science","FME '97: Industrial Applications and Strengthened Foundations of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63533-5_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:45Z","timestamp":1605647925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63533-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635338","9783540695936"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-63533-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}