{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:15Z","timestamp":1725663675060},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540577850"},{"type":"electronic","value":"9783540483328"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57785-8_152","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:19:35Z","timestamp":1330262375000},"page":"325-338","source":"Crossref","is-referenced-by-count":0,"title":["Hypertransition systems"],"prefix":"10.1007","author":[{"given":"Andr\u00e9","family":"Arnold","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"L. Aceto and M. Hennessy. Towards action-refinement in process algebras. In: Proc. 4th LICS, pages 138\u2013145, IEEE Comp. Soc. 1989.","DOI":"10.1109\/LICS.1989.39168"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"A. Arnold. Transition systems and concurrent processes. In Mathematical problems in Computation Theory, pages 9\u201320, Banach Center Publication 21, 1987.","DOI":"10.4064\/-21-1-9-20"},{"key":"26_CR3","unstructured":"A. Arnold. Syst\u00e8mes de transitions finis. S\u00e9mantique des processus communicants. Masson, 1992."},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"A. Arnold and P. Guitton. Un mod\u00e8le de description de protocoles: les r\u00e9seaux ferm\u00e9s d'automates triphas\u00e9s. In M. Paul and B. Robinet, editors, 6th International Symposium on Programming, Toulouse, 1984, pages 1\u201312, Lect. Notes Comput. Sci. 167, 1984.","DOI":"10.1007\/3-540-12925-1_23"},{"key":"26_CR5","first-page":"35","volume-title":"Les Math\u00e9matiques de l'Informatique","author":"A. Arnold","year":"1982","unstructured":"A. Arnold and M. Nivat. Comportements de processus. In Les Math\u00e9matiques de l'Informatique, pages 35\u201368, Colloque AFCET, Paris, 1982."},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"R. van Glabbeek and U. Goltz. Refinement of actions in causality based models. In J. W. de Bakker, W.-P. de Roever, G. Rozenberg, editors, Stepwise Refinements of Distributed Systems, pages 267\u2013300, Lect. Notes Comput. Sci. 430, 1989.","DOI":"10.1007\/3-540-52559-9_68"},{"key":"26_CR7","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1016\/0022-0000(79)90006-0","volume":"19","author":"N. Francez","year":"1979","unstructured":"N. Francez, C. A. R. Hoare, D. J. Lehmann, and W. P. de Roever. Semantics of nondeterminism, concurrency, and communication. J. Comput. Syst. Sci., 19:290\u2013308, 1979.","journal-title":"J. Comput. Syst. Sci."},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"26_CR9","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"26_CR10","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/BF01798961","volume":"4","author":"W. Vogler","year":"1991","unstructured":"W. Vogler. Failures semantics based on interval semiwords is a congruence for refinement. Distributed Computing, 4:139\u2013162, 1991.","journal-title":"Distributed Computing"}],"container-title":["Lecture Notes in Computer Science","STACS 94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57785-8_152.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:42:49Z","timestamp":1640929369000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57785-8_152"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540577850","9783540483328"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-57785-8_152","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}