{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:38:29Z","timestamp":1725521909577},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540787686"},{"type":"electronic","value":"9783540787693"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-78769-3_13","type":"book-chapter","created":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T12:05:56Z","timestamp":1227701156000},"page":"185-200","source":"Crossref","is-referenced-by-count":0,"title":["Synthesis of Data Views for Communicating Processes"],"prefix":"10.1007","author":[{"given":"Iman","family":"Poernomo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"L. Apvrille","year":"2001","unstructured":"Apvrille, L., de Saqui-Sannes, P., Lohr, C., Snac, P., Courtiat, J.-P.: A new UML profile for real-time system formal design and validation. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, Springer, Heidelberg (2001)"},{"key":"13_CR2","unstructured":"Gomaa, H.: Designing concurrent, distributed, and real-time applications with UML. In: ICSE 2001: Proceedings of the 23rd International Conference on Software Engineering, pp. 737\u2013738. IEEE Computer Society Press, Los Alamitos"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-540-24725-8_16","volume-title":"Programming Languages and Systems","author":"L. Jia","year":"2004","unstructured":"Jia, L., Walker, D.: Modal proofs as distributed programs (extended abstract). In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986, pp. 219\u2013233. Springer, Heidelberg (2004)"},{"issue":"1","key":"13_CR4","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovic","year":"2000","unstructured":"Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering\u00a026(1), 70\u201393 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR5","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"13_CR6","unstructured":"OMG.UML Superstructure v2.0. Technical report, Object Management Group (2003), \n                    \n                      http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/2003-08-02"},{"key":"13_CR7","volume-title":"Monographs in Computer Science","author":"I. Poernomo","year":"2005","unstructured":"Poernomo, I., Crossley, J., Wirsing, M.: Adapting Proofs-as-Programs: The Curry-Howard Protocol. In: Monographs in Computer Science, Springer, Heidelberg (2005)"},{"key":"13_CR8","first-page":"420","volume-title":"LICS 1995, Proceedings 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, 26-29 June 1995","author":"A.K. Simpson","year":"1995","unstructured":"Simpson, A.K.: Compositionality via cut-elimination: Hennessy-milner logic for an arbitrary gsos. In: LICS 1995, Proceedings 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, 26-29 June 1995, pp. 420\u2013430. IEEE Computer Society Press, Los Alamitos (1995)"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0304-3975(87)90012-0","volume":"49","author":"C. Stirling","year":"1987","unstructured":"Stirling, C.: Modal logics for communicating systems. Theoretical Computer Science\u00a049, 311\u2013347 (1987)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78769-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T05:21:13Z","timestamp":1551676873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78769-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540787686","9783540787693"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78769-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}