{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:46Z","timestamp":1725663646134},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551799"},{"type":"electronic","value":"9783540467632"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55179-4_11","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:50:47Z","timestamp":1330249847000},"page":"103-113","source":"Crossref","is-referenced-by-count":1,"title":["The lotos model of a fault protected system and its verification using a petri net based approach"],"prefix":"10.1007","author":[{"given":"Michel","family":"Barbeau","sequence":"first","affiliation":[]},{"given":"Gregor","family":"Bochmann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1090\/dimacs\/003\/10","volume":"3","author":"M. Barbeau","year":"1991","unstructured":"M. Barbeau, G. v. Bochmann, Extension of the Karp and Miller Procedure to Lotos Specifications, Computer Aided Verification'90, ACM\/AMS DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 3, 1991, pp. 103\u2013119.","journal-title":"Computer Aided Verification'90, ACM\/AMS DIMACS Series in Discrete Mathematics and Theoretical Computer Science"},{"key":"11_CR2","series-title":"Proc. of Canadian Conference on Electrical and Computer Engineering","volume-title":"Research Report No. 707","author":"M. Barbeau","year":"1990","unstructured":"M. Barbeau, G. v. Bochmann, Verification of Lotos Specifications: A Petri Net Based Approach, Proc. of Canadian Conference on Electrical and Computer Engineering, Ottawa, September 1990 (Full paper: Deriving Analysable Petri Nets from Lotos Specifications, Research Report No. 707, Dept. d'IRO, Universit\u00e9 de Montr\u00e9al, 1990)."},{"key":"11_CR3","first-page":"361","volume":"2","author":"G. v. Bochmann","year":"1978","unstructured":"G. v. Bochmann, Finite State Description of Communication Protocols, Computer Networks, Vol. 2, October 1978, pp. 361\u2013372.","journal-title":"Computer Networks"},{"key":"11_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specifications 1","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig, B. Mahr, Fundamentals of Algebraic Specifications 1, Springer-Verlag, Berlin, 1985."},{"key":"11_CR5","unstructured":"H. Garavel, J. Sifakis, Compilation and Verification of Lotos Specifications, PSTV X, Ottawa, 1990."},{"key":"11_CR6","unstructured":"ISO, Lotos \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behavior, IS 8807, E. Brinksma (Ed.), 1988."},{"key":"11_CR7","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"R. M. Karp","year":"1969","unstructured":"R. M. Karp, R. E. Miller, Parallel Program Schemata, J. Computer and System Sciences, Vol. 3, 1969, pp. 147\u2013195.","journal-title":"J. Computer and System Sciences"},{"issue":"No.2","key":"11_CR8","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1093\/comjnl\/27.2.97","volume":"27","author":"D. Knuth","year":"1984","unstructured":"D. Knuth, Literate Programming, Computer Journal, Vol. 27, No. 2, May 1984, pp. 97\u2013111.","journal-title":"Computer Journal"},{"key":"11_CR9","unstructured":"S. Marchena, G. Leon, Transformation from Lotos Specs to Galileo Nets, in: K. J. Turner (Ed.), Formal Description Techniques, North-Holland, 1989."},{"key":"11_CR10","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"R. Milner, Calculi for Synchrony and Asynchrony, TCS 25, 1983, pp. 267\u2013310.","journal-title":"TCS"},{"key":"11_CR11","unstructured":"R. Milner, Calculus for Communication and Concurrency, Prentice-Hall, 1989."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"E.-R. Olderog, Operational Petri Net Semantics for CCSP, LNCS 266, Springer-Verlag, 1987.","DOI":"10.1007\/3-540-18086-9_27"},{"key":"11_CR13","unstructured":"C. A. Vissers, G. Scollo, M. van Sinderen, Architecture and Specification Style in Formal Description of Distributed Systems, Proc. of PSTV VIII, Atlantic City, 1987."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55179-4_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:53Z","timestamp":1605646673000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55179-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551799","9783540467632"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-55179-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}