{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:24Z","timestamp":1740098904808,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642358609"},{"type":"electronic","value":"9783642358616"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35861-6_3","type":"book-chapter","created":{"date-parts":[[2013,1,11]],"date-time":"2013-01-11T03:44:50Z","timestamp":1357875890000},"page":"36-54","source":"Crossref","is-referenced-by-count":0,"title":["Avoiding Diamonds in Desynchronization"],"prefix":"10.1007","author":[{"given":"Harsh","family":"Beohar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pieter J. L.","family":"Cuijpers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Alfaro, L., Henzinger, T.: Interface-Based Design. In: Broy, M., Gr\u00fcnbauer, J., Harel, D., Hoare, C.A.R. (eds.) Engineering Theories of Software Intensive Systems. NATO Science Series, vol.\u00a0195, pp. 83\u2013104. Springer Netherlands (2005)","DOI":"10.1007\/1-4020-3532-2_3"},{"key":"3_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195003","volume-title":"Process Algebra: Equational Theories of Communicating Processes","author":"J.C.M. Baeten","year":"2009","unstructured":"Baeten, J.C.M., Basten, T., Reniers, M.A.: Process Algebra: Equational Theories of Communicating Processes, 1st edn. Cambridge University Press, New York (2009)","edition":"1"},{"key":"3_CR3","unstructured":"Balemi, S.: Control of Discrete Event Systems: Theory And Application. Ph.D. thesis, Swiss Federal Institute of Technology, Automatic Control Laboratory, ETH Zurich (May 1992)"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1145\/1963405.1963516","volume-title":"Proceedings of the 20th International Conference on World Wide Web, WWW 2011","author":"S. Basu","year":"2011","unstructured":"Basu, S., Bultan, T.: Choreography conformance via synchronizability. In: Proceedings of the 20th International Conference on World Wide Web, WWW 2011, pp. 795\u2013804. ACM, New York (2011)"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-642-27940-9_5","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"S. Basu","year":"2012","unstructured":"Basu, S., Bultan, T., Ouederni, M.: Synchronizability for Verification of Asynchronously Communicating Systems. In: Kuncak, V., Rybalchenko, A. (eds.) VMCAI 2012. LNCS, vol.\u00a07148, pp. 56\u201371. Springer, Heidelberg (2012)"},{"key":"3_CR6","unstructured":"Beohar, H.: Refinement of communication and states in models of embedded systems. Ph.D. thesis, Eindhoven university of technology (in preparation)"},{"key":"3_CR7","first-page":"5","volume":"21","author":"H. Beohar","year":"2011","unstructured":"Beohar, H., Cuijpers, P.J.L.: Desynchronizability of (partial) synchronous closed loop systems. Scientific Annals of Computer Science\u00a021, 5\u201338 (2011)","journal-title":"Scientific Annals of Computer Science"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D. Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM\u00a030, 323\u2013342 (1983)","journal-title":"J. ACM"},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1016\/j.ic.2005.05.006","volume":"202","author":"G. C\u00e9c\u00e9","year":"2005","unstructured":"C\u00e9c\u00e9, G., Finkel, A.: Verification of programs with half-duplex communication. Inf. Comput.\u00a0202, 166\u2013190 (2005)","journal-title":"Inf. Comput."},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"735","DOI":"10.1007\/3-540-61604-7_87","volume-title":"CONCUR \u201996: Concurrency Theory","author":"C. Fischer","year":"1996","unstructured":"Fischer, C., Janssen, W.: Synchronous Development of Asynchronous Systems. In: Montanari, U., Sassone, V. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 735\u2013750. Springer, Heidelberg (1996)"},{"key":"3_CR11","unstructured":"Forschelen, S.T.J.: Supervisory control of theme park vehicles. Master\u2019s thesis, Eindhoven University of Technology, System Engineering Group, Dept. of Mechanical Engineering (2010)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/3-540-57208-2_6","volume-title":"CONCUR\u201993","author":"R.J. Glabbeek van","year":"1993","unstructured":"van Glabbeek, R.J.: The Linear Time - branching Time Spectrum II. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 66\u201381. Springer, Heidelberg (1993)"},{"key":"3_CR13","unstructured":"Groote, J.F., Mathijssen, A., Reniers, M., Usenko, Y., van Weerdenburg, M.: The formal specification language mCRL2. In: MMOSS 2006 (2006)"},{"issue":"8","key":"3_CR14","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM\u00a021(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Mateescu, R.: Specification and Analysis of Asynchronous Systems using CADP, pp. 141\u2013169. ISTE (2010), \n                  \n                    http:\/\/dx.doi.org\/10.1002\/9780470611012.ch5","DOI":"10.1002\/9780470611012.ch5"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Peters, K., Schicke, J.-W., Nestmann, U.: Synchrony vs causality in asynchronous pi-calculus. In: Luttik, B., Valencia, F. (eds.) 18th International Workshop on Expressiveness in Concurrency, EXPRESS. EPTCS, vol.\u00a064, pp. 89\u2013103 (2011)","DOI":"10.4204\/EPTCS.64.7"},{"key":"3_CR17","unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantics. Tech. Rep. DAIMI FN-19, University of Aarhus (1981)"},{"issue":"1","key":"3_CR18","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P.J. Ramadge","year":"1987","unstructured":"Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization\u00a025(1), 206\u2013230 (1987)","journal-title":"SIAM Journal on Control and Optimization"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-00255-7_12","volume-title":"Integrated Formal Methods","author":"G. Sala\u00fcn","year":"2009","unstructured":"Sala\u00fcn, G., Bultan, T.: Realizability of Choreographies Using Process Algebra Encodings. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol.\u00a05423, pp. 167\u2013182. Springer, Heidelberg (2009)"},{"key":"3_CR20","unstructured":"Tanenbaum, A.: Computer Networks, 4th edn. Prentice Hall Professional Technical Reference (2002)"},{"key":"3_CR21","unstructured":"Udding, J.: Classification and Composition of Delay-Insensitive Circuits. Ph.D. thesis, Eindhoven University of Technology, Eindhoven (1984)"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35861-6_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:32:05Z","timestamp":1620135125000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35861-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642358609","9783642358616"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35861-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}