{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:13:38Z","timestamp":1725473618886},"reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558224"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0084812","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T13:12:14Z","timestamp":1164373934000},"page":"504-517","source":"Crossref","is-referenced-by-count":2,"title":["Logic of trace languages"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Rabinovich","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"A. Avron. Simple Consequence Relations. In Information and Computation, volume 92, 1991","DOI":"10.1016\/0890-5401(91)90023-U"},{"key":"35_CR2","volume-title":"The collected works of Gerhard Gentzen","author":"G. Gentzen","year":"1969","unstructured":"G. Gentzen. Investigations into logical deduction. In The collected works of Gerhard Gentzen, (M. Szabo, Ed.), North-Holland, Amsterdam, 1969."},{"issue":"1","key":"35_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"J.-Y. Girard. Linear Logic. In Theoretical Computer Science, 50(1):1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"35_CR4","unstructured":"J. F. Groote. A new strategy for proving \u03c9-completeness with applications in process algebra. In Proceedings of CONCUR 90, volume 458 of Lect. Notes in Computer Science. Springer Verlag, 1990."},{"key":"35_CR5","unstructured":"M. Hennessy. Algebraic Theory of Processes. MIT Press, 1988."},{"key":"35_CR6","doi-asserted-by":"crossref","unstructured":"P. C. Kanellakis. Elements of Relational Database Theory. In Handbook of Theoretical Computer Science, North-Holland, 1989.","DOI":"10.1016\/B978-0-444-88074-1.50022-6"},{"key":"35_CR7","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall International, Englewood Cliffs, 1989."},{"key":"35_CR8","first-page":"439","volume":"28","author":"R. Milner","year":"1984","unstructured":"R. Milner. A complete proof system for a class of regular behaviors. In JCSS, volume 28, pp 439\u2013466, 1984.","journal-title":"JCSS"},{"key":"35_CR9","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0890-5401(89)90070-9","volume":"81","author":"R. Milner","year":"1989","unstructured":"R. Milner. A complete axiomatisation for observational Congruence of finite state behaviors. In Information and Computation, volume 81, pp 227\u2013247, 1989.","journal-title":"Information and Computation"},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"A. Rabinovich and B. A. Trakhtenbrot. Communication among relations. In International Conference on Automata, Languages and Programming, volume 443 of Lect. Notes in Computer Science. Springer Verlag, 1990.","DOI":"10.1007\/BFb0032040"},{"key":"35_CR11","doi-asserted-by":"crossref","unstructured":"A. Rabinovich and B. A. Trakhtenbrot. On Nets, Algebras and Modularity. In International Conference on Theoretical Aspects of Computer Software, to appear in Lect. Notes in Computer Science. Springer Verlag, 1991.","DOI":"10.1007\/3-540-54415-1_46"}],"container-title":["Lecture Notes in Computer Science","CONCUR '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0084812.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:07:32Z","timestamp":1607551652000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0084812"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540558224"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0084812","relation":{},"subject":[]}}