{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:48Z","timestamp":1725664188019},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540606925"},{"type":"electronic","value":"9783540492634"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"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":[[1995]]},"DOI":"10.1007\/3-540-60692-0_55","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:53:15Z","timestamp":1330271595000},"page":"279-293","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["An algorithm for reducing binary branchings"],"prefix":"10.1007","author":[{"given":"Paul","family":"Caspi","sequence":"first","affiliation":[]},{"given":"Jean -Claude","family":"Fernandez","sequence":"additional","affiliation":[]},{"given":"Alain","family":"Girault","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0304-3975(84)90067-7","volume":"30","author":"D. Austry","year":"1984","unstructured":"D. Austry and G. Boudol. Alg\u00e8bre de processus et synchronisation. Theoretical Computer Science, 30:91\u2013131, April 1984.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"20_CR2","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF00128175","volume":"2","author":"D. Callahan","year":"1988","unstructured":"D. Callahan and K. Kennedy. Compiling programs for distributed memory multiprocessors. Journal of Supercomputing, 2(2):151\u2013169, June 1988.","journal-title":"Journal of Supercomputing"},{"key":"20_CR3","volume-title":"Research Report","author":"P. Caspi","year":"1994","unstructured":"P. Caspi, J.C. Fernandez, and A. Girault. An algorithm for reducing binary branchings: implementation and formal proof. Research Report INRIA, France, 1994."},{"key":"20_CR4","volume-title":"Distributing reactive systems","author":"P. Caspi","year":"1994","unstructured":"P. Caspi, A. Girault, and D. Pilaud. Distributing reactive systems. In Seventh International Conference on Parallel and Distributed Computing Systems, PDCS'94, Las Vegas, USA, October 1994. ISCA."},{"key":"20_CR5","unstructured":"J.C. Fernandez and L. Mounier. \u201con the fly\u201d verification of behavioural equivalences and preorders. In K.G. Larsen, editor, Proceedings of the 3rd workshop on computeraided verification, CAV'91, July 1991."},{"key":"20_CR6","volume-title":"The Art of Computer Programming, volume III: Sorting and Searching of Computer Science and Information Processing","author":"D.E. Knuth","year":"1973","unstructured":"D.E. Knuth. The Art of Computer Programming, volume III: Sorting and Searching of Computer Science and Information Processing. Addison-Wesley, Reading, Massachussets, 1973."},{"key":"20_CR7","unstructured":"K.G. Larsen. Efficient local correctness checking. In G.V. Bochmann and D.K. Probst, editors, Proceedings of the 4th workshop on computer-aided verification, CAV'92, July 1992."},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"R. Milner. A calculus of communicating systems. LNCS, 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"20_CR9","unstructured":"D. Park. Concurrency and automata on infinite sequences. In 5th GI-Conference on Theorical Computer Science. Springer Verlag, 1981. LNCS 104."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60692-0_55","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:14:36Z","timestamp":1558253676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60692-0_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540606925","9783540492634"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-60692-0_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"31 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}