{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:05:52Z","timestamp":1757311552467},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662496732"},{"type":"electronic","value":"9783662496749"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-49674-9_34","type":"book-chapter","created":{"date-parts":[[2016,4,8]],"date-time":"2016-04-08T18:49:00Z","timestamp":1460141340000},"page":"553-559","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation"],"prefix":"10.1007","author":[{"given":"Hugues","family":"Evrard","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,9]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"Carbone, M., Montesi, F.: Deadlock-freedom-by-design: multiparty asynchronous global programming. In: POPL 2013, pp. 263\u2013274. ACM (2013)","DOI":"10.1145\/2480359.2429101"},{"key":"34_CR2","first-page":"23","volume":"271","author":"D Castro","year":"2011","unstructured":"Castro, D., Gul\u00edas, V.M., Earle, C.B., Fredlund, L., Rivas, S.: A case study on verifying a supervisor component using McErlang. ENTCS 271, 23\u201340 (2011)","journal-title":"ENTCS"},{"key":"34_CR3","unstructured":"Champelovier, D., Clerc, X., Garavel, H., Guerte, Y., McKinty, C., Powazny, V., Lang, F., Serwe, W., Smeding, G.: Reference Manual of the LNT to LOTOS Translator (Version 6.1). INRIA\/VASY and INRIA\/CONVECS, August 2014"},{"key":"34_CR4","unstructured":"Evrard, H.: G\u00e9n\u00e9ration automatique d\u2019impl\u00e9mentation distribu\u00e9e \u00e0 partir de mod\u00e9les formels de processus concurrents asynchrones. Ph.D. thesis, Universit\u00e9 de Grenoble, July 2015"},{"key":"34_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-38592-6_11","volume-title":"Formal Techniques for Distributed Systems","author":"H Evrard","year":"2013","unstructured":"Evrard, H., Lang, F.: Formal verification of distributed branching multiway synchronization protocols. In: Beyer, D., Boreale, M. (eds.) FMOODS\/FORTE 2013. LNCS, vol. 7892, pp. 146\u2013160. Springer, Heidelberg (2013)"},{"key":"34_CR6","doi-asserted-by":"crossref","unstructured":"Evrard, H., Lang, F.: Automatic distributed code generation from formal models of asynchronous concurrent processes. In: PDP 2015. IEEE (2015)","DOI":"10.1109\/PDP.2015.96"},{"issue":"2","key":"34_CR7","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10009-012-0244-z","volume":"15","author":"H Garavel","year":"2013","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2011: a toolbox for the construction and analysis of distributed processes. STTT 15(2), 89\u2013107 (2013). Springer","journal-title":"STTT"},{"key":"34_CR8","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-0-387-35578-8_11","volume-title":"Formal Methods for Protocol Engineering and Distributed Systems","author":"H Garavel","year":"1999","unstructured":"Garavel, H., Sighireanu, M.: A graphical parallel composition operator for process algebras. In: Wu, J., Chanson, S.T., Gao, Q. (eds.) FORTE\/PSTV 1999. IFIP AICT, vol. 28, pp. 185\u2013202. Springer, Heidelberg (1999)"},{"issue":"3","key":"34_CR9","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1007\/s100090100044","volume":"3","author":"H Garavel","year":"2001","unstructured":"Garavel, H., Viho, C., Zendri, M.: System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation. STTT 3(3), 314\u2013331 (2001). Springer","journal-title":"STTT"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Proenca, J., Clarke, D., Vink, E., Arbab, F.: Dreams: a framework for distributed synchronous coordination. In: SAC. ACM (2012)","DOI":"10.1145\/2245276.2232017"},{"key":"34_CR11","unstructured":"Quilbeuf, J.: Distributed implementations of component-based systems with prioritized multiparty interactions. Ph.D. thesis, Universit\u00e9 de Grenoble (2013)"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49674-9_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,24]],"date-time":"2020-03-24T01:15:17Z","timestamp":1585012517000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49674-9_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662496732","9783662496749"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49674-9_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"9 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}