{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:13:07Z","timestamp":1725473587739},"reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558224"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0084785","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T13:12:14Z","timestamp":1164373934000},"page":"94-107","source":"Crossref","is-referenced-by-count":4,"title":["Concurrent testing of processes"],"prefix":"10.1007","author":[{"given":"M.","family":"Hennessy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"L. Aceto. Full abstraction for series-parallel-pomsets. In Proceedings of CAAP, volume 493 of Lecture Notes in Computer Science, pages 1\u201325. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-53982-4_1"},{"key":"8_CR2","volume-title":"Technical report","author":"L. Aceto","year":"1991","unstructured":"L. Aceto and U. Engberg. Failure semantics for a simple process language with refinement. Technical report, INRIA, Sophia-Antipolis, 1991."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"L. Aceto and M. Hennessy. Adding action refinement to a finite process algebra. In Proceedings of 18 th ICALP, Lecture Notes in Computer Science. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54233-7_159"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"L. Aceto and M. Hennessy. Towards action refinement in process algebras. Information and Computation, 1991. to appear.","DOI":"10.1007\/3-540-54233-7_159"},{"issue":"1","key":"8_CR5","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/147508.147527","volume":"39","author":"L. Aceto","year":"1992","unstructured":"L. Aceto and M. Hennessy. Termination, deadlock and divergence in process algebras. Journal of the ACM, 39(1):147\u2013187, 1992.","journal-title":"Journal of the ACM"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"G. Boudol and I. Castellani. Permutation of transitions: an event structure semantics for CCS and SCCS. In Proceedings of Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, number 354 in Lecture Notes in Computer Science, pages 411\u2013427, 1989.","DOI":"10.1007\/BFb0013028"},{"key":"8_CR7","unstructured":"Ph. Darondeau and P. Degano. About semantic action refinement. Technical Report 11\/89, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1989. To appear in Fundamenta Informaticae."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"P. Degano and P. Darondeau. Causal trees. In Proceedings of ICALP 89, number 372 in Lecture Notes in Computer Science, pages 234\u2013248. Springer-Verlag, 1989.","DOI":"10.1007\/BFb0035764"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"P. Darondeau and P. Degano. Event structures, causal trees and refinements, 1990. Submitted to Theoretical Computer Science.","DOI":"10.1007\/BFb0035764"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"24","author":"R. DeNicola","year":"1984","unstructured":"R. DeNicola and M. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 24:83\u2013113, 1984.","journal-title":"Theoretical Computer Science"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(90)90095-Y","volume":"75","author":"P. Degano","year":"1990","unstructured":"P. Degano, R. De Nicola, and U. Montanari. A partial ordering semantics for CCS. Theoretical Computer Science, 75:223\u2013262, 1990.","journal-title":"Theoretical Computer Science"},{"key":"8_CR12","unstructured":"M. Hennessy. An Algebraic Theory of Processes. MIT Press, 1988."},{"key":"8_CR13","unstructured":"L. Jategaonkar. Personal communication. 1992."},{"key":"8_CR14","unstructured":"L. Jategoankar and A. Meyer. Testing equivalence for petri nets with action refinement. Technical report, MIT, 1992."},{"key":"8_CR15","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"D. Murphy and D. Pitt. Testing, betting and true concurrency. In Proceedings of Concur 91, number 527 in Lecture Notes in Computer Science, 1991.","DOI":"10.1007\/3-540-54430-5_105"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"D. Taubner and W. Vogler. The step failures semantics. In F.J. Brandenburg et. al., editor, Proceedings of STACS 87, number 247 in Lecture Notes in Computer Science, pages 348\u2013359. Springer-Verlag, 1987.","DOI":"10.1007\/BFb0039618"},{"key":"8_CR18","unstructured":"R.J. van Glabbeek. The refinement theorem for ST-bisimulation. In Prooceedings IFIP Working Group, Sea of Galilee, Lecture Notes in Computer Science. Springer-Verlag, 1990."},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek and F.W. Vaandrager. Petri net models for algebraic theories of concurrency. In J.W. de Bakker, A.J. Nijman, and P.C. Treleaven, editors, Prooceedings PARLE conference, number 259 in Lecture Notes in Computer Science, pages 224\u2013242. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-17945-3_13"},{"key":"8_CR20","unstructured":"W. Vogler. Bisimulation and action refinement. Technical report, Technische Universit\u00e4t M\u00fcnchen, 1990."},{"key":"8_CR21","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/BF01798961","volume":"4","author":"W. Vogler","year":"1991","unstructured":"W. Vogler. Failure semantics based on interval semiwords is a congruence for refinement. Distributed Computing, 4:139\u2013162, 1991.","journal-title":"Distributed Computing"},{"key":"8_CR22","unstructured":"W. Vogler. Is partial order semantics necessary for action refinement ? Technical report, Technische Universit\u00e4t M\u00fcnchen, 1991."}],"container-title":["Lecture Notes in Computer Science","CONCUR '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0084785.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T20:29:56Z","timestamp":1683664196000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0084785"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540558224"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0084785","relation":{},"subject":[]}}