{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:17Z","timestamp":1725663857824},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571827"},{"type":"electronic","value":"9783540479277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57182-5_46","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:11:00Z","timestamp":1330258260000},"page":"547-556","source":"Crossref","is-referenced-by-count":4,"title":["Proof systems for cause based equivalences"],"prefix":"10.1007","author":[{"given":"Astrid","family":"Kiehn","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"46_CR1","doi-asserted-by":"crossref","unstructured":"L. Aceto. Action Refinement in Process Algebra. Ph.d. thesis, University of Sussex, 1991.","DOI":"10.1007\/3-540-54233-7_159"},{"key":"46_CR2","unstructured":"L. Aceto. A static view of localities. Report 1483, INRIA, 1991."},{"key":"46_CR3","unstructured":"L. Aceto. Relating distributed, temporal and causal observations of simple processes. Technical Memo HPL-PSC-92-32, Hewlett-Packard Laboratories, Pisa Science Center, 1992."},{"key":"46_CR4","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"J. Bergstra","year":"1985","unstructured":"J. Bergstra and J.W. Klop. Algebra of communicating processes with abstraction. Theoretical Computer Science, (37):77\u2013121, 1985.","journal-title":"Theoretical Computer Science"},{"key":"46_CR5","unstructured":"G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn. Observing localities. Report 4\/91, University of Sussex, 1991. Extended abstract in the proceedings of MFCS 91, LNCS 520."},{"key":"46_CR6","unstructured":"G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn. A theory of processes with localities. Report 13\/91, University of Sussex, 1991. Extended abstract in the proceedings of CONCUR 92."},{"key":"46_CR7","doi-asserted-by":"crossref","unstructured":"P. Darondeau and P. Degano. Causal trees. In Proceedings of ICALP 88, number 372 in Lecture Notes in Computer Science, pages 234\u2013248, 1989.","DOI":"10.1007\/BFb0035764"},{"key":"46_CR8","unstructured":"P. Degano, R. De Nicola, and U. Montanari. Universal axioms for bisimulations. Report TR-9\/92, University of Pisa, 1992."},{"key":"46_CR9","doi-asserted-by":"crossref","unstructured":"P. Degano and C. Priami. Proved trees. In W. Kuich, editor, Proceedings of ICALP 92, number 623 in Lecture Notes in Computer Science, pages 629\u2013640. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55719-9_110"},{"key":"46_CR10","unstructured":"G. Ferrari, R. Gorrieri, and U. Montanari. Parametric laws for concurrency. In Proceedings of Tapsoft 91, number 494 in Lecture Notes in Computer Science, 1991."},{"issue":"5","key":"46_CR11","doi-asserted-by":"crossref","first-page":"997","DOI":"10.1137\/0217063","volume":"17","author":"M. Hennessy","year":"1988","unstructured":"M. Hennessy. Axiomatising finite concurrent processes. SIAM Journal of Computing, 17(5):997\u20131017, 1988.","journal-title":"SIAM Journal of Computing"},{"key":"46_CR12","unstructured":"M. Hennessy. A proof system for weak ST-bisimulation over a finite process algebra. Report 6\/91, University of Sussex, 1991."},{"issue":"1","key":"46_CR13","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the Association for Computing Machinery, 32(1):137\u2013161, 1985.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"46_CR14","unstructured":"A. Kiehn. Comparing locality and causality based equivalences (Revision of: Local and global causes. Report TUM-I9132, Technische Universit\u00e4t M\u00fcnchen, 1992)."},{"key":"46_CR15","doi-asserted-by":"crossref","unstructured":"A. Kiehn. Proof systems for cause based equivalences, full paper, 1993.","DOI":"10.1007\/3-540-57182-5_46"},{"key":"46_CR16","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"46_CR17","unstructured":"F. Moller. Axioms for Concurrency. Ph.d. thesis, University of Edinburgh, 1989."},{"key":"46_CR18","doi-asserted-by":"crossref","unstructured":"U. Montanari and D. Yankelevich. A parametric approach to localities. In W. Kuich, editor, Proceedings of ICALP 92, number 623 in Lecture Notes in Computer Science, pages 617\u2013628. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55719-9_109"},{"key":"46_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"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57182-5_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:08:43Z","timestamp":1605647323000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57182-5_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571827","9783540479277"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-57182-5_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}