{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T05:23:27Z","timestamp":1736659407377,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558224"},{"type":"electronic","value":"9783540472933"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bfb0084779","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T13:12:14Z","timestamp":1164373934000},"page":"2-16","source":"Crossref","is-referenced-by-count":4,"title":["Testing equivalence for mobile processes"],"prefix":"10.1007","author":[{"given":"Michele","family":"Boreale","sequence":"first","affiliation":[]},{"given":"Rocco","family":"De Nicola","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,9,30]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Bergstra,J.A. and Klop,J.-W. Process Theory based on Bisimulation Semantics, in Linear Time, Branching Time and Partial Orders in Logic and Models for Concurrency, LNCS, 354, Springer-Verlag, 1989, 50\u2013122.","DOI":"10.1007\/BFb0013021"},{"key":"2_CR2","unstructured":"Boreale,M. Semantica osservazionale ed assiomatica per un'algebra di processi dinamici, Master Thesis, Universit\u00e0 di Pisa, February, 1991."},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"De Nicola,R. and Hennessy,M. Testing Equivalence for Processes, Theoret. Comput. Sci., 34 (1984), 83\u2013133.","journal-title":"Theoret. Comput. Sci."},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/BF00264365","volume":"24","author":"R. Nicola De","year":"1987","unstructured":"De Nicola,R. Extensional Equivalences for Transition Systems, Acta Informatica, 24, 1987, pp. 211\u2013237.","journal-title":"Acta Informatica"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"De Nicola,R., Inverardi,P. and Nesi,M. Using Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. In Automatic Verification Methods for Finite State Machines (J. Sifakis, ed.) LNCS 407, 1990; pp. 54\u201367.","DOI":"10.1007\/3-540-52148-8_5"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Engberg,U. and Nielsen,M. A Calculus of Communicating Systems with Label Passing; Int. Rep. Computer Science Dept., Aarhus University, DAIMI-PB 208,1986.","DOI":"10.7146\/dpb.v15i208.7559"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Guessarian,I. Algebraic Semantics, LNCS, 99, 1981","DOI":"10.1007\/3-540-10284-1"},{"key":"2_CR8","volume-title":"An Algebraic Theory of Processes","author":"M. Hennessy","year":"1988","unstructured":"Hennessy,M. An Algebraic Theory of Processes, MIT Press, Cambridge, 1988."},{"key":"2_CR9","unstructured":"Hennessy,M. A Model for the \u03c0-Calculus, Internal Report No 8\/91, Computer Science, University of Sussex, 1991."},{"key":"2_CR10","unstructured":"Hennessy,M. and Ingolfsdottir,A,. A Theory of Testing Equivalence with Value-passing, to appear in Information and Computation, 1991"},{"key":"2_CR11","volume-title":"Communicating Sequential Process","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare,C.A.R. Communicating Sequential Process, Prentice Hall Int., London 1985."},{"key":"2_CR12","unstructured":"Hennessy,M. and Plotkin,G. A Term Model for CCS, LNCS, 88, Springer-Verlag, 1980"},{"key":"2_CR13","unstructured":"Huimin L., Pam: A Process Algebra Manipulator, in Computer Aided Verification(K.G. Larsen and A. Skou, eds) LNCS 575,1992."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Milner,R. A Calculus of Communicating Systems. LNCS, 92, Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"2_CR15","volume-title":"Communicating and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner,R. Communicating and Concurrency. Prentice Hall Int., London 1989."},{"key":"2_CR16","unstructured":"Milner,R., Parrow,J. and Walker,D. A Calculus of Mobile Processes part I and II, LFCS Report Series, Department of Computer Science, University of Edinburgh, 1989. To appear in Information and Computation."},{"key":"2_CR17","unstructured":"Plotkin, G. A Structural Approach to Operational Semantics. Technical Report Computer Science Department, Aarhus University, DAIMI FN-19; 1981)."},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Thomsen,B A Calculus of Higher Order, Proc. of POPL 1989; ACM 1989; pp. 143\u2013154.","DOI":"10.1145\/75277.75290"}],"container-title":["Lecture Notes in Computer Science","CONCUR '92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0084779","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T03:55:31Z","timestamp":1736654131000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0084779"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540558224","9783540472933"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0084779","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}