{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:19:51Z","timestamp":1759637991521},"reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558224"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0084797","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T08:12:14Z","timestamp":1164355934000},"page":"269-285","source":"Crossref","is-referenced-by-count":11,"title":["Posets for configurations!"],"prefix":"10.1007","author":[{"given":"Arend","family":"Rensink","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"G. Boudol. Flow event structures and flow nets. In I. Guessarian, editor, Semantics of Systems of Concurrent Processes, volume 469 of Lecture Notes in Computer Science, pages 62\u201395. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-53479-2_4"},{"key":"20_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0304-3975(88)90096-5","volume":"59","author":"G. Boudol","year":"1988","unstructured":"G. Boudol and I. Castellani. Concurrency and atomicity. Theoretical Comput. Sci., 59:25\u201384, 1988.","journal-title":"Theoretical Comput. Sci."},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"G. Boudol and I. Castellani. Permutations of transitions: An event structure semantics for CCS and SCCS. In de Bakker et al. [6], pages 411\u2013427.","DOI":"10.1007\/BFb0013028"},{"key":"20_CR4","unstructured":"G. Boudol and I. Castellani. Flow models of distributed computations: Event structures and nets. Rapports de Recherche 1482, INRIA, July 1991."},{"key":"20_CR5","unstructured":"B. Davey and H. A. Priestley. Introduction to Lattices and Order. Cambridge Mathematical Textbooks. Cambridge University Press, 1990."},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, volume 354 of Lecture Notes in Computer Science. Springer-Verlag, 1989.","DOI":"10.1007\/BFb0013019"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"P. Degano, R. De Nicola, and U. Montanari. Partial orderings descriptions and observations of nondeterministic concurrent processes. In de Bakker et al. [6], pages 438\u2013466.","DOI":"10.1007\/BFb0013030"},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0304-3975(89)90117-5","volume":"68","author":"M. Droste","year":"1989","unstructured":"M. Droste. Event structures and domains. Theoretical Comput. Sci., 68:37\u201347, 1989.","journal-title":"Theoretical Comput. Sci."},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"J. Gunawardena. Geometric logic, causality and event structures. In J. C. M. Baeten and J. F. Groote, editors, Concur '91, volume 527 of Lecture Notes in Computer Science, pages 266\u2013280. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54430-5_94"},{"key":"20_CR10","unstructured":"R. Langerak. Bundle event structures. Memoranda informatica, University of Twente, 1992."},{"key":"20_CR11","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3233\/FI-1991-14103","volume":"XIV","author":"R. Loogen","year":"1991","unstructured":"R. Loogen and U. Goltz. Modelling nondeterministic concurrent processes with event structures. Fundamenta Informaticae, XIV:39\u201373, 1991.","journal-title":"Fundamenta Informaticae"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"A. Mazurkiewicz. Basic notions of trace theory. In de Bakker et al. [6], pages 285\u2013363.","DOI":"10.1007\/BFb0013025"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"M. Nielsen, U. Engberg, and K. G. Larsen. Fully abstract models for a process language with refinement. In de Bakker et al. [6], pages 523\u2013549.","DOI":"10.1007\/BFb0013034"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"M. Nielsen, G. Rozenberg, and P. S. Thiagarajan. Elementary transition systems. In [20], 1991.","DOI":"10.7146\/dpb.v20i346.6576"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"M. Nielsen, G. Rozenberg, and P. S. Thiagarajan. Transition systems, event structures and unfoldings. In [20], 1991.","DOI":"10.7146\/dpb.v20i353.6583"},{"key":"20_CR16","unstructured":"A. Rensink. Selection structures. Memoranda Informatica 90-71, University of Twente, Dec. 1990."},{"key":"20_CR17","unstructured":"A. Rensink. Poset semantics, bisimulation. Memoranda informatica, University of Twente, 1992."},{"key":"20_CR18","unstructured":"A. Rensink. Posets for configurations! Memoranda informatica, University of Twente, 1992."},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"E. W. Stark. Connections between a concrete and an abstract model of concurrent systems. In M. Main, A. Melton, M. Mislove, and D. Schmidt, editors, Mathematical Foundations of Programming Semantics, volume 442 of Lecture Notes in Computer Science, pages 53\u201379. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0040254"},{"key":"20_CR20","unstructured":"P. S. Thiagarajan. Some models and logics for concurrency. Course Notes of the Advanced School on Concurrency, Gargnano del Garda, Italy, Sept. 1991."},{"key":"20_CR21","unstructured":"F. W. Vaandrager. A simple definition for parallel composition of prime event structures. Report ACMCS-R8903, Centre for Mathematics and Computer Science, 1989."},{"key":"20_CR22","unstructured":"R. van Glabbeek. Comparative Concurrency Semantics and Refinement of Actions. PhD thesis, Free University of Amsterdam, 1990."},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"R. van Glabbeek and U. Goltz. Refinement of actions in causality based models. In J. W. de Bakker, W. P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems \u2014 Models, Formalisms, Correctness, volume 430 of Lecture Notes in Computer Science, pages 267\u2013300. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52559-9_68"},{"key":"20_CR24","doi-asserted-by":"crossref","unstructured":"G. Winskel. Event structure semantics for CCS and related languages. In M. Nielsen and E. M. Schmidt, editors, Automata, Languages and Programming, volume 140 of Lecture Notes in Computer Science, pages 561\u2013576. Springer-Verlag, 1982.","DOI":"10.1007\/BFb0012800"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"G. Winskel. Categories of models for concurrency. In S. D. Brookes, A. W. Roscoe, and G. Winskel, editors, Seminar on Concurrency, volume 197 of Lecture Notes in Computer Science, pages 246\u2013267. Springer-Verlag, 1985.","DOI":"10.1007\/3-540-15670-4_12"},{"key":"20_CR26","doi-asserted-by":"crossref","unstructured":"G. Winskel. Event structures. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Applications and Relationships to Other Models of Concurrency, volume 255 of Lecture Notes in Computer Science, pages 325\u2013392. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-17906-2_31"},{"key":"20_CR27","doi-asserted-by":"crossref","unstructured":"G. Winskel. An introduction to event structures. In de Bakker et al. [6], pages 364\u2013397.","DOI":"10.1007\/BFb0013026"},{"key":"20_CR28","unstructured":"G. Winskel. Categories of models for concurrency. Course Notes of the Advanced School on Concurrency, Gargnano del Garda, Italy, Sept. 1991."}],"container-title":["Lecture Notes in Computer Science","CONCUR '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0084797.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,4]],"date-time":"2021-08-04T23:13:19Z","timestamp":1628118799000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0084797"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540558224"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/bfb0084797","relation":{},"subject":[]}}