{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T18:56:43Z","timestamp":1743101803573,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642170706"},{"type":"electronic","value":"9783642170713"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-17071-3_9","type":"book-chapter","created":{"date-parts":[[2010,11,11]],"date-time":"2010-11-11T07:12:58Z","timestamp":1289459578000},"page":"166-185","source":"Crossref","is-referenced-by-count":1,"title":["Suitability of mCRL2 for Concurrent-System Design: A 2 \u00d7 2 Switch Case Study"],"prefix":"10.1007","author":[{"given":"Frank P. M.","family":"Stappers","sequence":"first","affiliation":[]},{"given":"Michel A.","family":"Reniers","sequence":"additional","affiliation":[]},{"given":"Jan Friso","family":"Groote","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Cambridge tracts in theoretical computer science","volume-title":"Process Algebra: Equational Theories of Communicating Processes","author":"J.C.M. Baeten","year":"2010","unstructured":"Baeten, J.C.M., Basten, T., Reniers, M.A.: Process Algebra: Equational Theories of Communicating Processes. Cambridge tracts in theoretical computer science, vol.\u00a050. Cambridge University Press, Cambridge (2010)"},{"key":"9_CR2","volume-title":"EATCS Monographs","author":"J.C.M. Baeten","year":"2002","unstructured":"Baeten, J.C.M., Kees Middelburg, C.A.: Process Algebra with Timing. In: EATCS Monographs, Springer, Berlin (2002)"},{"issue":"1-3","key":"9_CR3","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J.A. Bergstra","year":"1984","unstructured":"Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. Information and Control\u00a060(1-3), 109\u2013137 (1984)","journal-title":"Information and Control"},{"key":"9_CR4","unstructured":"Bluespec: Automatic Generation of Control Logic with Bluespec SystemVerilog (Februari 2005), \n                    \n                      http:\/\/www.bluespec.com\/forum\/download.php?id=63"},{"key":"9_CR5","volume-title":"Progress in Theoretical Computer Science","author":"J.C. Bradfield","year":"1992","unstructured":"Bradfield, J.C.: Verifying Temporal Properties of Systems. In: Progress in Theoretical Computer Science, Birkh\u00e4user, Basel (1992)"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-642-05089-3_18","volume-title":"FM 2009: Formal Methods","author":"E.G. Daylight","year":"2009","unstructured":"Daylight, E.G., Shukla, S.K.: On the difficulties of concurrent-system design, illustrated with a 2 \u00d7 2 switch case study. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 273\u2013288. Springer, Heidelberg (2009)"},{"key":"9_CR7","unstructured":"Groote, J.F., Keiren, J., Mathijssen, A., Ploeger, B., Stappers, F., Tankink, C., Usenko, Y., van Weerdenburg, M., Wesselink, W., Willemse, T., van der Wulp, J.: The mCRL2 toolset. In: Proceedings International Workshop on Advanced Software Development Tools and Techniques, WASDeTT 2008 (2008)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/3-540-49253-4_8","volume-title":"Algebraic Methodology and Software Technology","author":"J.F. Groote","year":"1998","unstructured":"Groote, J.F., Mateescu, R.: Verification of temporal properties of processes in a setting with data. In: Haeberer, A.M. (ed.) AMAST 1998. LNCS, vol.\u00a01548, pp. 74\u201390. Springer, Heidelberg (1998)"},{"key":"9_CR9","unstructured":"Groote, J.F., Mathijssen, A., Reniers, M., Usenko, Y., van Weerdenburg, M.: The formal specification language mCRL2. In: Brinksma, E., Harel, D., Mader, A., Stevens, P., Wieringa, R. (eds.) Methods for Modelling Software Systems (MMOSS). Dagstuhl Seminar Proceedings, vol.\u00a006351, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany (2007)"},{"key":"9_CR10","first-page":"99","volume-title":"Process Algebra for Parallel and Distributed Processing","author":"J.F. Groote","year":"2009","unstructured":"Groote, J.F., et al.: Analysis of distributed systems with mCRL2. In: Alexander, M., Gardner, W. (eds.) Process Algebra for Parallel and Distributed Processing, vol.\u00a04, pp. 99\u2013128. Taylor & Francis, Abington (2009)"},{"issue":"3","key":"9_CR11","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Program.\u00a08(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"9_CR12","first-page":"511","volume-title":"Proceedings of the 2000 IEEE\/ACM international conference on Computer-aided design, ICCAD 2000","author":"J.C. Hoe","year":"2000","unstructured":"Hoe, J.C., Arvind: Synthesis of operation-centric hardware descriptions. In: Proceedings of the 2000 IEEE\/ACM international conference on Computer-aided design, ICCAD 2000, Piscataway, NJ, USA, pp. 511\u2013519. IEEE Press, Los Alamitos (2000)"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D.: Results on the propositional mu-calculus. Theor. Comput. Sci.\u00a027, 333\u2013354 (1983)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR14","volume-title":"Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers","author":"L. Lamport","year":"2002","unstructured":"Lamport, L.: Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, Reading (2002)"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-540-85114-1_18","volume-title":"Model Checking Software","author":"G. Singh","year":"2008","unstructured":"Singh, G., Shukla, S.K.: Verifying compiler based refinement of Bluespec\n                    TM\n                   specifications using the spin model checker. In: Havelund, K., Majumdar, R., Palsberg, J. (eds.) SPIN 2008. LNCS, vol.\u00a05156, pp. 250\u2013269. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17071-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T01:07:08Z","timestamp":1553216828000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17071-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642170706","9783642170713"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17071-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}