{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:27:07Z","timestamp":1725460027914},"publisher-location":"Berlin\/Heidelberg","reference-count":18,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540582770"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0049325","type":"book-chapter","created":{"date-parts":[[2006,3,6]],"date-time":"2006-03-06T18:58:16Z","timestamp":1141671496000},"page":"78-90","source":"Crossref","is-referenced-by-count":0,"title":["The model theory of concurrency"],"prefix":"10.1007","author":[{"given":"Kevin J.","family":"Compton","sequence":"first","affiliation":[]},{"given":"Rosario","family":"Uceda-Sosa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"Applications of Process Algebra","author":"J. C. M. Baeten","year":"1990","unstructured":"J. C. M. Baeten. Applications of Process Algebra. Cambridge University Press, Cambridge, 1990."},{"key":"6_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624193","volume-title":"Process Algebra","author":"J. C. M. Baeten","year":"1990","unstructured":"J. C. M. Baeten and W. P. Weijland. Process Algebra. Cambridge University Press, Cambridge, 1990."},{"key":"6_CR3","volume-title":"Modal Logic and Classical Logic","author":"J. F. A. K. Benthem van","year":"1983","unstructured":"J. F. A. K. van Benthem. Modal Logic and Classical Logic. Bibliopolis, Napoli, 1983."},{"key":"6_CR4","first-page":"20","volume-title":"Computation Theory and Logic, Volume 270 of Lecture Notes in Computer Science","author":"A. Blass","year":"1987","unstructured":"A. Blass and Y. Gurevich. Existential fixed-point logic. In E. B\u00f6rger, editor, Computation Theory and Logic, Volume 270 of Lecture Notes in Computer Science, pages 20\u201336, Springer-Verlag, New York, 1987."},{"key":"6_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A Course in Universal Algebra","author":"S. Burris","year":"1981","unstructured":"S. Burris and H. P. Sankappanaver. A Course in Universal Algebra. Springer-Verlag, New York, 1981."},{"key":"6_CR6","volume-title":"Model Theory","author":"C. C. Chang","year":"1990","unstructured":"C. C. Chang and H. J. Keisler. Model Theory. North-Holland, Amsterdam, third edition, 1990.","edition":"third edition"},{"key":"6_CR7","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1093\/logcom\/3.2.197","volume":"3","author":"K. J. Compton","year":"1993","unstructured":"K. J. Compton. A deductive system for existential least fixpoint logic. Logic and Computation 3 (1993), 197\u2013213.","journal-title":"Logic and Computation"},{"key":"6_CR8","doi-asserted-by":"crossref","first-page":"427","DOI":"10.2307\/2273560","volume":"48","author":"K. J. Compton","year":"1983","unstructured":"K. J. Compton. Some useful preservation theorems. Journal of Symbolic Logic 48 (1983), 427\u2013440.","journal-title":"Journal of Symbolic Logic"},{"key":"6_CR9","unstructured":"P. Glavan and D. Rosenzweig. Communicating evolving algebras. preprint."},{"key":"6_CR10","volume-title":"Collected Works, Vol. 1.","author":"K. G\u00f6del","year":"1986","unstructured":"K. G\u00f6del. Collected Works, Vol. 1. S. Feferman, et al., eds. Oxford University Press, New York, 1986."},{"key":"6_CR11","first-page":"264","volume":"43","author":"Y. Gurevich","year":"1991","unstructured":"Y. Gurevich. Evolving algebras: a tutorial introduction. Bulletin of the European Association for Theoretical Computer Science 43 (1991), 264\u2013284.","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"6_CR12","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. J. Assoc. Comput. Mach. 32 (1985), 137\u2013161.","journal-title":"J. Assoc. Comput. Mach."},{"key":"6_CR13","volume-title":"Volume 92 of Lecture Notes in Computer Science","author":"R. Milner","year":"1989","unstructured":"R. Milner. A Calculus of Communicating Systems Volume 92 of Lecture Notes in Computer Science, Springer-Verlag, New York, 1989."},{"key":"6_CR14","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1980","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, Englewood Cliffs, NJ, 1980."},{"key":"6_CR15","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. Inform. and Comput. 81 (1989), 227\u2013247.","journal-title":"Inform. and Comput."},{"key":"6_CR16","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1111\/j.1755-2567.1970.tb00429.x","volume":"36","author":"K. Segerberg","year":"1970","unstructured":"K. Segerberg. Modal logics with linear alternative relations. Theoria 36 (1970), 301\u2013322.","journal-title":"Theoria"},{"key":"6_CR17","series-title":"Proc. CAAP '93","volume-title":"On the Ehrenfeucht-Fra\u00efss\u00e9 game in theoretical computer science","author":"W. Thomas","year":"1993","unstructured":"W. Thomas. On the Ehrenfeucht-Fra\u00efss\u00e9 game in theoretical computer science. In Proc. CAAP '93, page, Springer-Verlag, New York, 1993."},{"key":"6_CR18","unstructured":"R. Uceda-Sosa and K. Compton. A modular approach to observational equivalences. Submitted for publication, 1993."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0049325.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,24]],"date-time":"2021-07-24T15:46:53Z","timestamp":1627141613000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0049325"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540582770"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0049325","relation":{},"subject":[]}}