{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:20Z","timestamp":1761611300037},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616481"},{"type":"electronic","value":"9783540706533"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61648-9_43","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:10:09Z","timestamp":1330294209000},"page":"228-245","source":"Crossref","is-referenced-by-count":1,"title":["Verification-driven development of a collision-avoidance protocol for the Ethernet"],"prefix":"10.1007","author":[{"given":"Konsta","family":"Karsisto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antti","family":"Valmari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"issue":"5","key":"13_CR1","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1145\/362946.362970","volume":"12","author":"K. A. Bartlett","year":"1969","unstructured":"Bartlett, K. A., Scantlebury, R.A. & Wilkinson, P. T.: A Note on Reliable Full-Duplex Transmission over Half-Duplex Links. Communications of the ACM 12(5) 1969, pp. 260\u2013261.","journal-title":"Communications of the ACM"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Bolognesi, T. & Brinksma, E.: Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, Vol. 14, No. 1, 1987.","DOI":"10.1016\/0169-7552(87)90085-7"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Brookes, S. D. & Roscoe, A. W.: An Improved Failures Model for Communicating Sequential Processes. Proceedings of the NSF-SERC Seminar on Concurrency, Lecture Notes in Computer Science 197, Springer-Verlag 1985, pp. 281\u2013305.","DOI":"10.1007\/3-540-15670-4_14"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Graf, S. & Steifen, B.: Compositional Minimization of Finite-State Processes. Computer-Aided Verification '90 (Proceedings of a workshop), AMS-ACM DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 3, American Mathematical Society 1991, pp. 57\u201373.","DOI":"10.1090\/dimacs\/003\/06"},{"key":"13_CR5","unstructured":"Hoare, C. A. R.: Communicating Sequential Processes. Prentice-Hall 1985, 256 p."},{"key":"13_CR6","volume-title":"A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour","author":"ISO","year":"1989","unstructured":"ISO \u2014 Information Processing Systems \u2014 Open Systems Interconnection \u2014 LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, ISO 8807 International Standard, International Organization for Standardization, Switzerland, 1989."},{"key":"13_CR7","unstructured":"Madelaine, E. & Vergamini, D.: AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks. Formal Description Techniques II (Proceedings of FORTE '89), North-Holland 1990, pp. 61\u201366."},{"key":"13_CR8","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall 1989, 260 p."},{"key":"13_CR9","volume-title":"A State Space Generation Tool for LOTOS Specifications","author":"R. Savola","year":"1995","unstructured":"Savola, R.: A State Space Generation Tool for LOTOS Specifications. VTT Publications 241, Technical Research Centre of Finland (VTT), Espoo, Finland 1995, 107 p."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Valmari, A.: Compositional State Space Generation. Advances in Petri Nets 1993, Lecture Notes in Computer Science 674, Springer-Verlag 1993, pp. 427\u2013457.","DOI":"10.1007\/3-540-56689-9_54"},{"key":"13_CR11","first-page":"187","volume-title":"Proceedings of PDP'96, the Fourth Euromicro Workshop on Parallel and Distributed Processing","author":"A. Valmari","year":"1996","unstructured":"Valmari, A., Karsisto, K. & Set\u00e4l\u00e4, M.: Visualisation of Reduced Abstracted Behaviour as a Design Tool. Proceedings of PDP'96, the Fourth Euromicro Workshop on Parallel and Distributed Processing, Braga, Portugal, January 24\u201326 1996, IEEE Computer Society Press, pp. 187\u2013194."},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Valmari, A. & Set\u00e4l\u00e4, M.: Visual Verification of Safety and Liveness. Proceedings of Formal Methods Europe '96: Industrial Benefit and Advances in Formal Methods, Lecture Notes in Computer Science 1051, Springer-Verlag 1996, pp. 228\u2013247.","DOI":"10.1007\/3-540-60973-3_90"},{"key":"13_CR13","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1007\/BF01211218","volume":"7","author":"A. Valmari","year":"1995","unstructured":"Valmari, A. & Tienari, M.: Compositional Failure-Based Semantic Models for Basic LOTOS. Formal Aspects of Computing (1995) 7: 440\u2013468.","journal-title":"Formal Aspects of Computing"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Valmari, A., Kemppainen, J., Clegg, M. & Levanto, M.: Putting Advanced Reachability Analysis Techniques Together: the \u201cARA\u201d Tool. Proceedings of Formal Methods Europe '93: Industrial-Strength Formal Methods, Lecture Notes in Computer Science 670, Springer-Verlag 1993, pp. 597\u2013616.","DOI":"10.1007\/BFb0024669"},{"key":"13_CR15","unstructured":"Valmari, A. & Tienari, M.: An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm. Protocol Specification, Testing and Verification XI (Proceedings of 11th International IFIP WG 6.1 Symposium, North-Holland 1991, pp. 3\u201318."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61648-9_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:09:02Z","timestamp":1605647342000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61648-9_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616481","9783540706533"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-61648-9_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}