{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:08:46Z","timestamp":1725484126628},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439288"},{"type":"electronic","value":"9783540456148"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45614-7_20","type":"book-chapter","created":{"date-parts":[[2007,5,17]],"date-time":"2007-05-17T04:45:28Z","timestamp":1179377128000},"page":"350-369","source":"Crossref","is-referenced-by-count":8,"title":["The Formal Classification and Verification of Simpson\u2019s 4-Slot Asynchronous Communication Mechanism"],"prefix":"10.1007","author":[{"given":"N.","family":"Henderson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. E.","family":"Paynter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,9]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"S. Angerholm, J. Bicarregui, and S. Maharaj. On the Verification of VDM Specifications and Refinement with PVS. In J.C. Bicarregui, editor, Proof in VDM: Case Studies, FACIT. Springer, 1998.","key":"20_CR1","DOI":"10.1007\/978-1-4471-1532-8_6"},{"doi-asserted-by":"crossref","unstructured":"P. Brooke, J.L. Jacob, and J.M. Armstrong. Analysis of the Four-Slot Mechanism. In Proceedings of the BCS-FACS Northern Formal Methods Workshop, 1996.","key":"20_CR2","DOI":"10.14236\/ewic\/FA1996.3"},{"unstructured":"P.J. Brooke. A Timed Semantics for a Hierarchical Design Notation. PhD thesis, Department of Computer Science, University of York, April 1999.","key":"20_CR3"},{"doi-asserted-by":"crossref","unstructured":"Neil Henderson and Stephen Paynter. The formal classification and verification of simpson\u2019s 4-slot asynchronous communication mechanism. Technical Report CS-TR-756, University of Newcastle, 2002.","key":"20_CR4","DOI":"10.1007\/3-540-45614-7_20"},{"issue":"10","key":"20_CR5","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C.A.R. Hoare","year":"1974","unstructured":"C.A.R. Hoare. Monitors: An Operating System Structuring Concept. Communications of the ACM, 17(10):549\u2013557, 1974.","journal-title":"Communications of the ACM"},{"unstructured":"Joint IECCA and MUF Committee on MASCOT (JIMCOM). The Official Handbook of MASCOT: Version 3.1-Issue 1, June 1987. Crown Copyright.","key":"20_CR6"},{"unstructured":"C.B. Jones. Systematic Software Development Using VDM: Second Edition. Prentice-Hall International Series in Computer Science, 1990.","key":"20_CR7"},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF01786227","volume":"1","author":"L. Lamport","year":"1986","unstructured":"L. Lamport. On Interprocess Communication-Part 1: Basic Formalism. Distributed Computing, 1:77\u201385, 1986.","journal-title":"Distributed Computing"},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/BF01786228","volume":"1","author":"L. Lamport","year":"1986","unstructured":"L. Lamport. On Interprocess Communication-Part 2: Algorithms. Distributed Computing, 1:86\u2013101, 1986.","journal-title":"Distributed Computing"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1007\/BF00263649","volume":"22","author":"T. Nipkow","year":"1986","unstructured":"T. Nipkow. Non-deterministic data types: Models and implementations. Acta Informatica, 22:629\u2013661, 1986.","journal-title":"Acta Informatica"},{"unstructured":"T. Nipkow. Behavioural Implementation Concepts for Nondeterministic Data Types. PhD thesis, University of Manchester, May 1987.","key":"20_CR11"},{"unstructured":"S. Owre, N. Shanker, J.M. Rushby, and D.W.J. Stringer-Calvert. PVS Language: Version 2.3. Technical report, Computer Science Laboratory-SRI International, September 1999.","key":"20_CR12"},{"unstructured":"S. Owre, N. Shanker, J.M. Rushby, and D.W.J. Stringer-Calvert. PVS System Guide: Version 2.3. Technical report, Computer Science Laboratory-SRI International, September 1999.","key":"20_CR13"},{"issue":"3","key":"20_CR14","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1049\/sej.1986.0018","volume":"1","author":"H.R. Simpson","year":"1986","unstructured":"H.R. Simpson. The MASCOT Method. Software Engineering Journal, 1(3):103\u2013120, 1986.","journal-title":"Software Engineering Journal"},{"doi-asserted-by":"crossref","unstructured":"H.R. Simpson. Four-Slot Fully Asynchronous Communication Mechanism. IEE Proceedings, 137 Part E(1):17\u201330, January 1990.","key":"20_CR15","DOI":"10.1049\/ip-e.1990.0002"},{"doi-asserted-by":"crossref","unstructured":"H.R. Simpson. Correctness Analysis for Class of Asynchronous Communication Mechanism. IEE Proceedings, 139 Part E(1):35\u201349, January 1992.","key":"20_CR16","DOI":"10.1049\/ip-e.1992.0006"},{"doi-asserted-by":"crossref","unstructured":"H.R. Simpson. Multireader and Multiwriter Asynchronous Communication Mechanisms. IEE Proceedings of Computer Digital Technology, 144(4):241\u2013243, July 1997.","key":"20_CR17","DOI":"10.1049\/ip-cdt:19971220"},{"doi-asserted-by":"crossref","unstructured":"H.R. Simpson. New Algorithms for Asynchronous Communication. IEE Proceedings of Computer Digital Technology, 144(4):227\u2013231, July 1997.","key":"20_CR18","DOI":"10.1049\/ip-cdt:19971218"},{"doi-asserted-by":"crossref","unstructured":"H.R. Simpson. Role Model Analysis of an Asynchronous Communication Mechanism. IEE Proceedings of Computer Digital Technology, 144(4):232\u2013240, July 1997.","key":"20_CR19","DOI":"10.1049\/ip-cdt:19971219"},{"unstructured":"H.R. Simpson. Protocols for Process Interaction. Resubmitted to IEE Proceedings on Software, 2001.","key":"20_CR20"},{"unstructured":"F Xia. Supporting the MASCOT method with Petri net techniques for real-time systems development. PhD thesis, London University, King\u2019s College, January 2000.","key":"20_CR21"},{"doi-asserted-by":"crossref","unstructured":"A. Yakovlev, F. Xia, and D. Shang. Synthesis and Implementation of a Signal-Type Asynchronous Data Communication Mechanism. In Proceedings of the 7 th International Symposium on Asynchronous Circuits and Systems (ASYNC 2001)-Salt Lake City, March 2001.","key":"20_CR22","DOI":"10.1109\/ASYNC.2001.914076"}],"container-title":["Lecture Notes in Computer Science","FME 2002:Formal Methods\u2014Getting IT Right"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45614-7_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T04:12:08Z","timestamp":1587528728000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45614-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439288","9783540456148"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-45614-7_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}