{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:44Z","timestamp":1725663644454},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551799"},{"type":"electronic","value":"9783540467632"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55179-4_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:50:30Z","timestamp":1330249830000},"page":"136-146","source":"Crossref","is-referenced-by-count":9,"title":["PAM: A process algebra manipulator"],"prefix":"10.1007","author":[{"given":"Huimin","family":"Lin","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Bergstra, J.A., Klop, J.W., \u201cProcess Theory Based on Bisimulation Semantics\u201d, in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, 1989.","key":"14_CR1","DOI":"10.1007\/BFb0013021"},{"doi-asserted-by":"crossref","unstructured":"Boudol, G., Roy, V., de Simone, R., Vergamini, D., Process Calculi, From Theory to Practice: Verification Tools, INRIA Report No 1098, 1989.","key":"14_CR2","DOI":"10.1007\/3-540-52148-8_1"},{"doi-asserted-by":"crossref","unstructured":"Cleaveland, R., Parrow, J. and Steffen, B., \u201cThe Concurrency Workbench\u201d, Proc. of the Workshop on Automated Verification Methods for Finite State Systems, LNCS 407, 1989.","key":"14_CR3","DOI":"10.1007\/3-540-52148-8_3"},{"doi-asserted-by":"crossref","unstructured":"Dershowitz, N., Jouannaud, J.-P., \u201cRewrite Systems\u201d, in Handbook of Theoretical Computer Science North-Holland, 1989.","key":"14_CR4","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"14_CR5","volume-title":"Internal Report","author":"J. C. Godskesen","year":"1989","unstructured":"Godskesen, J.C., Larsen, K.G., Zeeberg, M., TAV Users Manual, Internal Report, Aalborg University Centre, Denmark, 1989."},{"unstructured":"Hennessy, M., Algebraic Theory of Processes, MIT Press, 1988.","key":"14_CR6"},{"doi-asserted-by":"crossref","unstructured":"Mauw, S., Veltink, G.J., A proof Asisteant for PSF. Programming Research Group, University of Amsterdam, 1991. In this Volume.","key":"14_CR7","DOI":"10.1007\/3-540-55179-4_16"},{"doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R., Communicating Sequential Processes, Prentice-Hall, 1985.","key":"14_CR8","DOI":"10.1007\/978-3-642-82921-5_4"},{"unstructured":"Milner, R., Concurrency and Communication, Prentice-Hall, 1989.","key":"14_CR9"},{"doi-asserted-by":"crossref","unstructured":"De Nicola, R., Inverardi, P., Nesi, M., \u201cUsing the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications\u201d, Proc. Workshop on Automatic Verification Methods for finite State Systems, LNCS 407, 1989.","key":"14_CR10","DOI":"10.1007\/3-540-52148-8_5"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55179-4_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T04:14:00Z","timestamp":1640924040000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55179-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551799","9783540467632"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-55179-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}