{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:13Z","timestamp":1725663613672},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540534792"},{"type":"electronic","value":"9783540468974"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53479-2_9","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:05:08Z","timestamp":1330207508000},"page":"223-238","source":"Crossref","is-referenced-by-count":6,"title":["Concurrency and computability"],"prefix":"10.1007","author":[{"given":"Ph.","family":"Darondeau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"9_CR1","unstructured":"E. Badouel. Une construction syst\u00e9matique de mod\u00e8les \u00e0 partir de sp\u00e9cifications op\u00e9rationnelles structurelles, INRIA-RR 764, 1987"},{"key":"9_CR2","unstructured":"E. Badouel, Ph. Darondeau. A Note on Guarded Recursion, IRISA-PI 535, 1990"},{"key":"9_CR3","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0304-3975(87)90002-8","volume":"49","author":"J.W. Bakker de","year":"1987","unstructured":"J.W. de Bakker, J.J.Ch. Meyer, E.R. Olderog. Infinite streams and finite observations in the semantics of uniform concurrency, TCS 49, pp.87\u2013112, 1987","journal-title":"TCS"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"B. Bloom, S. Istrail, A.R. Meyer. Bisimulation can't be traced: preliminary report, 15th ACM-POPL, pp.229\u2013239, 1988","DOI":"10.1145\/73560.73580"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"G. Boudol. Notes on algebraic calculi of processes, in: Logics and Models of Concurrent Systems (Apt ed.), Springer Verlag NATO-ASI series, 1985","DOI":"10.1007\/978-3-642-82453-1_9"},{"key":"9_CR6","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/0020-0190(89)90168-3","volume":"30","author":"P. Darondeau","year":"1989","unstructured":"Ph. Darondeau. Bisimulation and effectiveness, IPL 30, pp. 19\u201320, 1989","journal-title":"IPL"},{"key":"9_CR7","unstructured":"Ph. Darondeau. Quelques probl\u00e8mes relatifs \u00e0 la composition parall\u00e8le, Congr\u00e8s AFCET (Gif sur Yvette), Editions Hommes et Techniques, 1981"},{"issue":"3","key":"9_CR8","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1051\/ita\/1986200302911","volume":"20","author":"P. Darondeau","year":"1986","unstructured":"Ph. Darondeau. Une critique de la notion de test de processus fond\u00e9e sur la non s\u00e9parabilit\u00e9 de certaines classes de langages, Informatique th\u00e9orique et applications 20(3), pp.291\u2013317, 1986","journal-title":"Informatique th\u00e9orique et applications"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Ph. Darondeau, B. Gamati\u00e9. Modelling infinitary behaviours of communicating systems, INRIA-RR 749, 1987","DOI":"10.1007\/3-540-17660-8_54"},{"key":"9_CR10","unstructured":"Ph. Darondeau, B. Gamati\u00e9. Infinitary behaviours and infinitary observations (to appear in Fundamenta Informaticae)"},{"key":"9_CR11","first-page":"147","volume":"154","author":"P. Darondeau","year":"1983","unstructured":"Ph. Darondeau, L. Kott. On the observational semantics of fair parallelism, 10th ICALP, LNCS 154, pp.147\u2013159, 1983","journal-title":"LNCS"},{"key":"9_CR12","unstructured":"Ph. Darondeau, D. Nolte, L. Priese, S. Yoccoz. Fairness, distances and degrees. INRIA-RR 1199, 1990"},{"key":"9_CR13","unstructured":"Ph. Darondeau, S. Yoccoz. Proof systems for infinite behaviours (to appear in Information and Computation)"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"P. Degano, U. Montanari. Liveness properties as convergence in metric spaces, STOC, pp.31\u201338, 1984","DOI":"10.1145\/800057.808663"},{"key":"9_CR15","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"R. De Nicola, M. Hennessy. Testing equivalences for processes, TCS 34, pp.83\u2013113, 1984","journal-title":"TCS"},{"key":"9_CR16","unstructured":"R. De Simone. Calculabilit\u00e9 et expressivit\u00e9 dans l'alg\u00e8bre de processus MEIJE, th\u00e8se de 3eme cycle, Paris VII, 1984"},{"key":"9_CR17","unstructured":"J. Dugundji. Topology, Allyn and Bacon, 1966"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"N. Francez. Fairness, Springer Verlag, 1986","DOI":"10.1007\/978-1-4612-4886-6"},{"key":"9_CR19","unstructured":"J.Y. Girard. Proof theory and logical complexity (vol.1) Bibliopolis (Napoli), 1987"},{"key":"9_CR20","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0003-4843(81)90016-4","volume":"21","author":"J.Y. Girard","year":"1981","unstructured":"J.Y. Girard, 11 2 1 logic, part 1: dilators, Annals of Mathematical Logic 21, pp.75\u2013219, 1981","journal-title":"Annals of Mathematical Logic"},{"key":"9_CR21","first-page":"336","volume":"247","author":"R. Glabbeek van","year":"1987","unstructured":"R. van Glabbeek. Bounded nondeterminism and the approximation induction principle in process algebras, STACS, LNCS 247, pp.336\u2013347, 1987","journal-title":"LNCS"},{"key":"9_CR22","unstructured":"J.F. Groote. Transition system specifications with negative premisses, CWI, CS-R8950, 1989"},{"key":"9_CR23","first-page":"423","volume":"372","author":"J.F. Groote","year":"1989","unstructured":"J.F. Groote, F. Vaandrager. Structured operational semantics and bisimulation as a congruence, 16th ICALP, LNCS 372, pp.423\u2013438, 1989","journal-title":"LNCS"},{"key":"9_CR24","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"R. Milner. Calculi for synchrony and asynchrony, TCS 25, pp.267\u2013310, 1983","journal-title":"TCS"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"R. Miner. A calculus of communicating systems, LNCS 92, 1980","DOI":"10.1007\/3-540-10235-3"},{"key":"9_CR26","first-page":"167","volume":"104","author":"D. Park","year":"1981","unstructured":"D. Park. Concurrency and automata on infinite sequences, 5th GI-Conf. LNCS 104, pp.167\u2013183, 1981","journal-title":"LNCS"},{"key":"9_CR27","first-page":"15","volume":"194","author":"A. Pnueli","year":"1985","unstructured":"A. Pnueli. Linear and branching structures in the semantics and logics of reactive systems, 12th ICALP, LNCS 194, pp.15\u201332, 1985","journal-title":"LNCS"},{"key":"9_CR28","unstructured":"G. Plotkin. A structural approach to operational semantics, DAIMI FN-19 Aarhus Univ., 1981"},{"key":"9_CR29","unstructured":"H. Rogers. Theory of recursive functions and effective computability, Mc Graw Hill, 1967"},{"key":"9_CR30","unstructured":"J. Rutten. Deriving metric models for bisimulation from transition system specifications, Int. Workshop and Tutorial on formal models of concurrent computations, Telavi, Georgia, USSR, 1989"},{"key":"9_CR31","first-page":"337","volume":"12","author":"K. Wagner","year":"1976","unstructured":"K. Wagner. Eine Axiomatisierung der Theorie der regul\u00e4ren Folgenmengen, EIK 12, pp.337\u2013354, 1976","journal-title":"EIK"},{"key":"9_CR32","doi-asserted-by":"crossref","unstructured":"S. Yoccoz. Effective solutions to domain equations: an approach to effective denotational semantics. To appear in CONCUR, Amsterdam, 1990","DOI":"10.1007\/BFb0039081"},{"key":"9_CR33","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0020-0190(89)90089-6","volume":"31","author":"S. Yoccoz","year":"1989","unstructured":"S. Yoccoz. Recursive omega-rule for proof systems. IPL 31, pp. 291\u2013294, 1989","journal-title":"IPL"}],"container-title":["Lecture Notes in Computer Science","Semantics of Systems of Concurrent Processes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53479-2_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:50:10Z","timestamp":1605646210000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53479-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540534792","9783540468974"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-53479-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}