{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:08Z","timestamp":1725663128016},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540151999"},{"type":"electronic","value":"9783540393078"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15199-0_20","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:12:44Z","timestamp":1330193564000},"page":"309-324","source":"Crossref","is-referenced-by-count":1,"title":["Modelling concurrent modules"],"prefix":"10.1007","author":[{"given":"Rainer","family":"Isle","sequence":"first","affiliation":[]},{"given":"Klaus-Peter","family":"L\u00f6hr","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"20_CR1","unstructured":"Reference Manual for the Ada Programming Language. ANSI\/MIL-STD 1815A, Ada Joint Program Office, 1982"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"G.R. Andrews: Synchronizing Recources. ACM TOPLAS 3.4, October 1981","DOI":"10.1145\/357146.357149"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"G.R. Andrews\/F.B. Schneider: Concepts and Notions for Concurrent Programming. ACM CS 15.1, March 1983","DOI":"10.1145\/356901.356903"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"M.H. Cheheyl\/M. Glasser\/G.A. Huff\/J.K. Millen: Verifying Security. ACM CS 13.3, September 1981.","DOI":"10.1145\/356850.356853"},{"key":"20_CR5","unstructured":"P.R. Eggert: Overview of the Ina Jo Specification Language. TR SP-4082, SDC Santa Monica, October 1980"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"B.K. Haddon: Nested Monitor Calls. ACM Operating Systems Review 11.4, October 1977","DOI":"10.1145\/850648.850650"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"B. Hailpern\/S. Owicki: Modular Verification of Concurrent Programs. Proc. 9. Ann. ACM Symp. on Principles of Programming Languages, Albuquerque 1982","DOI":"10.1145\/582153.582187"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare: Monitors: An Operating System Structuring Concept. CACM 17.10, October 1974","DOI":"10.1145\/355620.361161"},{"key":"20_CR9","unstructured":"S. Keramidis\/L. Mackert: Specification and Implementation of Parallel Activities on Abstract Objects. Proc. 4. Int. Conf. on Software Engineering, M\u00fcnchen 1979"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"L. Lamport: Specifying Concurrent Program Modules. ACM TOPLAS 5.2, April 1983","DOI":"10.1145\/69624.357207"},{"key":"20_CR11","unstructured":"M.S. Laventhal: A Constructive Approach to Reliable Synchronization Code. Proc. 4. Int. Conf. on Software Engineering, M\u00fcnchen 1979"},{"key":"20_CR12","volume-title":"The Correctness Problem in Computer Science","author":"Z. Manna","year":"1981","unstructured":"Z. Manna, A. Pnueli: Temporal Verification of Concurrent Programs. In: The Correctness Problem in Computer Science (R.S. Boyer, J.S. Moore, Eds.). Academic Press, London 1981."},{"key":"20_CR13","volume-title":"The HDM Handbook","author":"L. Robinson","year":"1979","unstructured":"L. Robinson\/B.A. Silverberg\/K.N. Levitt: The HDM Handbook. SRI International, Menlo Park 1979"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"R.L. Schwartz\/P.M. Melliar-Smith: From State Machines to Temporal Logic: Specification Methods for Protocol Standards. IEEE Trans. Comm. 30.12, December 1982","DOI":"10.1109\/TCOM.1982.1095451"},{"key":"20_CR15","unstructured":"J.D. Ullman: Principles of Data Base Systems. Computer Science Press 1980"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"P. Wegner\/S.A. Smolka: Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives. IEEE-SE 9.4, July 1983","DOI":"10.1109\/TSE.1983.234781"},{"key":"20_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96717-7","volume-title":"Programming in Modula-2","author":"N. Wirth","year":"1982","unstructured":"N. Wirth: Programming in Modula-2. Springer-Verlag, Berlin 1982."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15199-0_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:09Z","timestamp":1605643689000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15199-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151999","9783540393078"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-15199-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}