{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:17:43Z","timestamp":1725455863481},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540619840"},{"type":"electronic","value":"9783540495734"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0024431","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T06:41:39Z","timestamp":1132382499000},"page":"213-251","source":"Crossref","is-referenced-by-count":3,"title":["A solution relying on the model checking of boolean transition systems"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Cu\u00e9llar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dieter","family":"Barnard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Huber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,18]]},"reference":[{"key":"8_CR1","volume-title":"Technical Report CMU-CS-94-115","author":"R. Allen","year":"1994","unstructured":"Robert Allen and David Garlan. Formal Connectors. Technical Report CMU-CS-94-115, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, March 1994."},{"key":"8_CR2","unstructured":"Andre Arnold. Finite Transition Systems. Prentice Hall, 1994."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Dieter Barnard and Simon Crosby. The Specification and Verification of an ATM Signalling Protocol. In Proc. of 15th IFIP PSTV'95, Warsaw, June 1995.","DOI":"10.1007\/978-0-387-34892-6_10"},{"key":"8_CR4","unstructured":"M. Broy, L. Lamport. The RPC Memory Specification Problem. This Volume."},{"key":"8_CR5","volume-title":"Final Solution to Dagstuhl Seminar of Broy\/Lamport, 1994","author":"M. Broy","year":"1996","unstructured":"Manfred Broy. A Functional Solution to the RPC-Memory Specification Problem. Submitted as a Final Solution to Dagstuhl Seminar of Broy\/Lamport, 1994, Faculty of Informatics, Technical University of Munich, D-80290 Munich, Germany, 1996."},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"H. Busch. A Practical Method for Reasoning About Distributed Systems in a Theorem Prover. In Higher Order Logic Theorem Proving and its Applications \u2014 8th International Workshop, Aspen Grove, UT, USA, Proceedings, pages 106\u2013121. Springer-Verlag, LNCS 971, September 1995.","DOI":"10.1007\/3-540-60275-5_60"},{"key":"8_CR7","unstructured":"Jorge Cu\u00e9llar, Dieter Barnard, and Martin Huber. Dealing with Actions in Assertional Reasoning. Internal report, available by e-mail, ZFE T SE 1, Siemens AG, October 1995."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Jorge Cu\u00e9llar, Dieter Barnard, and Martin Huber. Rapid Protyping for an Assertional Specification Language. TACAS'96, LNCS 1055, March 1996.","DOI":"10.1007\/3-540-61042-1_59"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"C. Courcoubetis, S. Graf, and J. Sifakis. An Algebra of Boolean Processes. In Proc. of CAV'91, pages 454\u2013465, 1991.","DOI":"10.1007\/3-540-55179-4_42"},{"key":"8_CR10","unstructured":"Jorge Cu\u00e9llar and Martin Huber. The FZI Production Cell Case Study: A distributed solution using TLT. In Formal Development of Reactive Systems: Case Study Production Cell, volume 891 of LNCS. Springer-Verlag, 1995."},{"key":"8_CR11","volume-title":"Parallel Program Design \u2014 A Foundation","author":"K. M. Chandy","year":"1988","unstructured":"K. Mani Chandy and J. Misra. Parallel Program Design \u2014 A Foundation. Addison-Wesley, Reading, Massachusetts, 1988."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Jorge Cu\u00e9llar and Isolde Wildgruber. The Steam Boiler Problem \u2014 A TLT Solution (Presented at a Dagstuhl Seminar). In Proc. of a Dagstuhl Seminar, 1996.","DOI":"10.1007\/BFb0027236"},{"key":"8_CR13","series-title":"volume 873 of LNCS","first-page":"639","volume-title":"Proc. of FME'94","author":"J. R. Cu\u00e9llar","year":"1994","unstructured":"J. R. Cu\u00e9llar, I. Wildgruber, and D. Barnard. Combining the Design of Industrial Systems with Effective Verification Techniques. In M. Naftalin, T. Denvir, and M. Betran, editors, Proc. of FME'94, volume 873 of LNCS, pages 639\u2013658, Barcelona, Spain, October 1994. Springer-Verlag."},{"key":"8_CR14","unstructured":"Y. Gurevich. Evolving Algebras: A Tutorial Introduction. In Bulletin of the EATCS, volume 43, pages 264\u2013284. EATCS, 1991."},{"key":"8_CR15","first-page":"414","volume":"430","author":"R.P. Kurshan","year":"1990","unstructured":"R.P. Kurshan. Analysis of Discrete Event Systems. LNCS, 430:414\u2013453, 1990.","journal-title":"LNCS"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"R.P. Kurshan. Computer Aided Verification of Coordinating Processes. Princeton University Press, 1994.","DOI":"10.1515\/9781400864041"},{"issue":"3","key":"8_CR17","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"L. Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872\u2013923, May 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR18","volume-title":"Internal paper","author":"S. Merz","year":"1996","unstructured":"Stephan Merz. From TLT modules to stream processing functions. Internal paper, Faculty of Informatics, Technical University of Munich, D-80290 Munich, March 1996."},{"key":"8_CR19","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, London, 1989."}],"container-title":["Lecture Notes in Computer Science","Formal Systems Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0024431","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:30:27Z","timestamp":1586568627000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024431"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540619840","9783540495734"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0024431","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}