{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:54Z","timestamp":1761611154556},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1987,10,1]],"date-time":"1987-10-01T00:00:00Z","timestamp":560044800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[1987,10]]},"DOI":"10.1007\/bf01407903","type":"journal-article","created":{"date-parts":[[2005,4,3]],"date-time":"2005-04-03T01:17:42Z","timestamp":1112491062000},"page":"383-400","source":"Crossref","is-referenced-by-count":14,"title":["Trace, failure and testing equivalences for communicating processes"],"prefix":"10.1007","volume":"16","author":[{"given":"Michael G.","family":"Main","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"S. D. Brookes and A. W. Roscoe, An Improved Failures Model for Communicating Processes, Carnegie-Mellon University Technical Report CMU-CS-85-112 (1985).","DOI":"10.1007\/3-540-15670-4_14"},{"key":"CR2","volume-title":"Synchronous and Asynchronous Experiments on Processes, Internal","author":"M. C. B. Hennessy","year":"1982","unstructured":"M. C. B. Hennessy, Synchronous and Asynchronous Experiments on Processes, Internal Report CSR-125-82, Department of Computer Science, University of Edinburgh, Scotland, (September 1982)."},{"key":"CR3","unstructured":"R. DeNicola, Testing Equivalences and Fully Abstract Models for Communicating Processes, Ph. D. Thesis, University of Edinburgh (November 1985)."},{"key":"#cr-split#-CR4.1","unstructured":"R. DeNicola and M. C. B. Hennessy, Testing Equivalences for processes, in:Automata, Languages and Programming, 10th Colloquium, LNCS 154: Springer-Verlag, (1983);"},{"key":"#cr-split#-CR4.2","doi-asserted-by":"crossref","unstructured":"Expanded version inTheoretical Computer Science 34:83?133 (1984).","DOI":"10.1016\/0304-3975(84)90113-0"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E. W. Dijkstra","year":"1975","unstructured":"E. W. Dijkstra, Guarded Commands, Nondeterminacy and Formal Derivation of Programs,CACM 18:453?457 (1975).","journal-title":"CACM"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","volume":"16","author":"M. Smyth","year":"1978","unstructured":"M. Smyth, Powerdomains,Journal of Computer and System Sciences,16:23?36 (1978).","journal-title":"Journal of Computer and System Sciences"},{"key":"CR7","unstructured":"J. W. de Bakker J. A. Bergstra, J. W. Klop and J.-J. Ch. Meyer, Linear Time and Branching Time Semantics for Recursion with Merge,in: Automata, Languages and Programming, 10th Colloquium, LNCS 154:39?51 Springer-Verlag, (1983)."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"S. D. Brookes, On the Relationship of CCS and CSP, In:Automata, Languages and Programming, 10th Colloquium, LNCS 154:83?96 Springer-Verlag, (1983).","DOI":"10.1007\/BFb0036899"},{"key":"CR9","unstructured":"S. D. Brookes, A Model for Communicating Sequential Processes, Ph. D. Thesis, University of Oxford (1983)."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1016\/S0019-9958(84)80048-0","volume":"61","author":"M. Broy","year":"1984","unstructured":"M. Broy, Semantics of Communicating Processes,Information and Control,61:202?246 (1984).","journal-title":"Information and Control"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"A. Pnueli, Linear and Branching Structures in the Semantics and Logics of Reactive systems, in:Automata, Languages and Programming, 10th Colloquium, LNCS 154:15?32.","DOI":"10.1007\/BFb0015727"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"W. C. Rounds and S. D. Brookes, Possible Futures, Acceptances, Refusals and Communicating Processes, in:22nd IEEE Symposium on Foundations of Computer Science (1981).","DOI":"10.1109\/SFCS.1981.36"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S. D. Brookes","year":"1984","unstructured":"S. D. Brookes, C. A. R. Hoare, and A. W. Roscoe, A Theory of Communicating Sequential Processes.JACM 31:560?599 (1984).","journal-title":"JACM"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1145\/360248.360251","volume":"19","author":"R. Keller","year":"1976","unstructured":"R. Keller, Formal Verification of Parallel Programs,CACM 19:561?572 (1976).","journal-title":"CACM"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"R. Milner, ACalculus of Communicating Systems, LNCS Vol. 92 Springer-Verlag, (1980).","DOI":"10.1007\/3-540-10235-3"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. Hoare","year":"1978","unstructured":"C. A. R. Hoare, Communicating Sequential Processes,CACM 21:666?677 (1978).","journal-title":"CACM"},{"key":"CR17","unstructured":"S. Abramsky, Observation Equivalence as a Testing Equivalence,Draft (November 1985)."},{"key":"CR18","unstructured":"S. D. Brookes, A. W. Roscoe, and D. J. Walker, An Operational Semantics for CSP, prepublication copy, (February 1987)."},{"key":"CR19","unstructured":"J. W. de Bakker, J.-J. Ch. Meyer and E.-R. Olderog, Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency, In:12th ICALP, LNCS 194:149?157 Springer-Verlag, (1985)."},{"key":"CR20","unstructured":"M. C. B. Hennessy, Why Testing Equivalence is Natural, (prepublication copy) (August 4, 1987)."}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01407903.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01407903\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01407903","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T16:59:26Z","timestamp":1586192366000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01407903"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,10]]},"references-count":21,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1987,10]]}},"alternative-id":["BF01407903"],"URL":"https:\/\/doi.org\/10.1007\/bf01407903","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,10]]}}}