{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:18:37Z","timestamp":1759637917107,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541523"},{"type":"electronic","value":"9783540474722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54152-7_58","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:33:23Z","timestamp":1330209203000},"page":"59-74","source":"Crossref","is-referenced-by-count":21,"title":["Invariants and paradigms of concurrency theory"],"prefix":"10.1007","author":[{"given":"Ryszard","family":"Janicki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"4_CR1","unstructured":"Allen J.F., Kentz H.A., A Model of Naive Temporal Reasoning, In: J.R. Mobbs, R.C. Moore (Eds.), Formal Theories of the Commonsense World, Ablex 1985."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Best E., Devillers R., Concurrent Behaviour: Sequences, Processes and Programming Languages, GMD-Studien Nr. 99, GMD, Bonn, 1985.","DOI":"10.1007\/3-540-15670-4_11"},{"key":"4_CR3","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E. Best","year":"1987","unstructured":"Best E., Devillers R., Sequential and Concurrent Behaviour in Petri Net Theory, Theoretical Computer Science, 55 (1987), pp. 87\u2013136.","journal-title":"Theoretical Computer Science"},{"key":"4_CR4","unstructured":"Best E., Koutny M., Petri Net Semantics of Priority Systems, to appear in Theoretical Computer Science."},{"key":"4_CR5","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1016\/0022-2496(70)90062-3","volume":"7","author":"P.C. Fishburn","year":"1970","unstructured":"Fishburn P.C., Intransitive Indifference with Unequal Indifference Intervals, J. Math. Psych. 7, 1970, pp. 144\u201319.","journal-title":"J. Math. Psych."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Fishburn P.C., Interval Orders and Interval Graphs, J. Wiley, 1985.","DOI":"10.1016\/0012-365X(85)90042-1"},{"key":"4_CR7","unstructured":"Fr\u00e4ise R., Theory of Relations, North Holland 1986."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Hoare C.A.R., Communicating Sequential Processes, Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"4_CR9","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF00290705","volume":"24","author":"R. Janicki","year":"1987","unstructured":"Janicki R., A Formal Semantics for Concurrent Systems with a Priority Relation, Acta Informatica 24, 1987, pp.33\u201355.","journal-title":"Acta Informatica"},{"key":"4_CR10","unstructured":"Janicki R., Koutny M., Observing Concurrent Histories, in: Real-Time Systems, Theory and Applications, H.M.S. Zedan (Ed.), Elsevier Science Publishers B.V. (North-Holland), 1990, pp 133\u2013142."},{"key":"4_CR11","unstructured":"Janicki R., Koutny M., A Bottom-Top Approach to Concurrency Theory Part I: Observations, Invariants and Paradigms, Technical Report No. 90-04, Dept. of Comp. Sci. and Syst., McMaster University, 1990."},{"key":"4_CR12","first-page":"150","volume":"2","author":"R. Janicki","year":"1988","unstructured":"Janicki R., Lauer P.E., On the Semantics of Priority Systems, 17th Annual International Conference on Parallel Processing, Vol. 2, pp. 150\u2013156, 1988, Pen. State Press.","journal-title":"17th Annual International Conference on Parallel Processing"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Katz S., Peled D., Interleaving Set Temporal Logic, 6th ACM Symposium on Principles of Distributed Computing, Vancouver 1984, pp. 178\u2013190.","DOI":"10.1145\/41840.41855"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Lamport L., What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority, 12th ACM Symposium on Principles of Programming Languages, New Orleans, Louisiana, 1985, pp. 78\u201383.","DOI":"10.1145\/318593.318616"},{"key":"4_CR15","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF01786227","volume":"1","author":"L. Lamport","year":"1986","unstructured":"Lamport L., On Interprocess Communication, Part I: Basic formalism, Part II: Algorithms, Distributed Computing 1(1986), pp. 77\u2013101.","journal-title":"Distributed Computing"},{"key":"4_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0167-6423(82)90002-8","volume":"2","author":"C. Lengauer","year":"1982","unstructured":"Lengauer C., Hehner E.C.R., A Methodology for Programming with Concurrency: An Informal Presentation, Science of Computer Programming 2 (1982), pp. 1\u201318.","journal-title":"Science of Computer Programming"},{"key":"4_CR17","first-page":"297","volume":"225","author":"A. Mazurkiewicz","year":"1986","unstructured":"Mazurkiewicz A., Trace Theory, Lecture Notes in Computer Science 225, Springer 1986, pp. 297\u2013324.","journal-title":"Lecture Notes in Computer Science"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Milner R., A Calculus of Communicating Systems, Lecture Notes in Computer Science, vol. 92, Springer 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Monk J.D., Mathematical Logic, Springer 1976.","DOI":"10.1007\/978-1-4684-9452-5"},{"key":"4_CR20","unstructured":"Peterson J.L., Petri Net Theory and the Modeling of Systems, Prentice Hall, 1981."},{"issue":"1","key":"4_CR21","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"Pratt V., Modelling Concurrency with Partial Orders, Int. Journal of Parallel Programming 15, 1 (1986), pp. 33\u201371.","journal-title":"Int. Journal of Parallel Programming"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Reisig W., Petri Nets, Springer 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"4_CR23","doi-asserted-by":"crossref","first-page":"386","DOI":"10.4064\/fm-16-1-386-389","volume":"16","author":"E. Szpilrajn-Marczewski","year":"1930","unstructured":"Szpilrajn-Marczewski E., Sur l'extension de l'ordre partial, Fundamenta Mathematicae 16 (1930), pp. 386\u2013389.","journal-title":"Fundamenta Mathematicae"},{"key":"4_CR24","first-page":"441","volume":"17","author":"N. Wiener","year":"1914","unstructured":"Wiener N., A Contribution to the Theory of Relative Position, Proc. Camb. Philos. Soc. 17 (1914), pp. 441\u2013449.","journal-title":"Proc. Camb. Philos. Soc."},{"key":"4_CR25","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1007\/BFb0012800","volume":"140","author":"G. Winskel","year":"1982","unstructured":"Winskel G., Event Structure Semantics for CCS and Related Language, Lecture Notes in Computer Science 140, Springer 1982, pp. 561\u2013567.","journal-title":"Lecture Notes in Computer Science"}],"container-title":["Lecture Notes in Computer Science","PARLE '91 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54152-7_58.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:15:23Z","timestamp":1742591723000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54152-7_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541523","9783540474722"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-54152-7_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}