{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:41Z","timestamp":1725663161751},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540186250"},{"type":"electronic","value":"9783540480334"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18625-5_46","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:40:11Z","timestamp":1330198811000},"page":"103-123","source":"Crossref","is-referenced-by-count":8,"title":["Submodule construction as equation solving in CCS"],"prefix":"10.1007","author":[{"given":"Joachim","family":"Parrow","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Foto Afrati, Christos Papadimitriou, and George Papageorgiou. The synthesis of communication protocols. In Proceedings of the fifth ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, pages 263\u2013271, 1986.","DOI":"10.1145\/10590.10613"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Gregor von Bochmann and Reinhard Gotzhein. Deriving protocol specifications from service specifications. In Proceedings of the ACM SIGCOM Symposium, pages 148\u2013156, 1986.","DOI":"10.1145\/1013812.18190"},{"issue":"3","key":"10_CR3","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S. Brookes","year":"1984","unstructured":"S. Brookes, C.A.R. Hoare, and W. Roscoe. A theory of communicating sequential processes. J. ACM, 31 (3):560\u2013599, 1984.","journal-title":"J. ACM"},{"issue":"5","key":"10_CR4","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1145\/362946.362970","volume":"2","author":"K Bartlett","year":"1969","unstructured":"K Bartlett, R Scantlebury, and P Wilkinson. A note on reliable full-duplex transmissions over half duplex lines. Communications of the ACM, 2(5):260\u2013261, 1969.","journal-title":"Communications of the ACM"},{"issue":"3","key":"10_CR5","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"E. Emerson","year":"1982","unstructured":"E. Emerson and E. Clarke. Using branching time temporal logic to synthesize synchronization skeletons. Science of Computer Programming, 2(3):241\u2013266, 1982.","journal-title":"Science of Computer Programming"},{"issue":"7","key":"10_CR6","doi-asserted-by":"crossref","first-page":"779","DOI":"10.1109\/TCOM.1984.1096134","volume":"COM-32","author":"M. Gouda","year":"1984","unstructured":"Mohamed Gouda and Yao-Tin Yu. Synthesis of communicating finite-state machines with guaranteed progress. IEEE Transactions on Communications, COM-32(7):779\u2013788, 1984.","journal-title":"IEEE Transactions on Communications"},{"key":"10_CR7","unstructured":"Bengt Jonsson, Zohar Manna, and Richard Waldinger. Towards deductive synthesis of dataflow networks. In Proceedings of Symposium on Logic in Computer Science, pages 26\u201337, 1986."},{"issue":"1","key":"10_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/357195.357196","volume":"5","author":"P. Merlin","year":"1983","unstructured":"Philip Merlin and Gregor von Bochmann. On the construction of submodule specifications and communication protocols. ACM Transactions on Programming Languages and Systems, 5(1):1\u201325, 1983.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Robin Milner. A Calculus of Communicating Systems. Volume 92 of Lecture Notes of Computer Science, Springer Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1016\/0022-0000(84)90023-0","volume":"28","author":"R. Milner","year":"1984","unstructured":"Robin Milner. A complete inference system for a class of regular behaviours. J. of Computer System Science, 28:439\u2013466, 1984.","journal-title":"J. of Computer System Science"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Zohar Manna and Richard Waldinger. A deductive approach to program synthesis. ACM Transactions on Programming Languages and Systems, 2(1), 1980.","DOI":"10.1145\/357084.357090"},{"issue":"1","key":"10_CR12","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/357233.357237","volume":"6","author":"Z. Manna","year":"1984","unstructured":"Zohar Manna and Pierre Wolper. Synthesis of communicating processes from temporal logic specifications. ACM Transactions on Programming Languages and Systems, 6(1):68\u201393, 1984.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R Nicola de","year":"1984","unstructured":"R de Nicola and M. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34:83\u2013133, 1984.","journal-title":"Theoretical Computer Science"},{"key":"10_CR14","unstructured":"M W Shields. Extending the Interface Equation. Technical Report SE\/079\/3, Electronic Engineering Laboratories, University of Kent at Canterbury, August 1986."},{"key":"10_CR15","unstructured":"M W Shields. Solving the Interface Equation. Technical Report SE\/079\/2, Electronic Engineering Laboratories, University of Kent at Canterbury, July 1986."},{"issue":"4","key":"10_CR16","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1109\/TCOM.1980.1094687","volume":"COM-28","author":"P Zafiropulo","year":"1980","unstructured":"P Zafiropulo, C H West, H Rudin, D D Cowan, and D Brand. Towards analyzing and synthesizing protocols. IEEE Transactions on Communications, COM-28(4):651\u2013661, 1980.","journal-title":"IEEE Transactions on Communications"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18625-5_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:15:14Z","timestamp":1605644114000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18625-5_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540186250","9783540480334"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-18625-5_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}