{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:00:30Z","timestamp":1725642030034},"publisher-location":"London","reference-count":10,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199823"},{"type":"electronic","value":"9781447130789"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3078-9_23","type":"book-chapter","created":{"date-parts":[[2011,12,12]],"date-time":"2011-12-12T02:47:45Z","timestamp":1323658065000},"page":"341-350","source":"Crossref","is-referenced-by-count":0,"title":["Partial Order Semantics and Weak Fairness"],"prefix":"10.1007","author":[{"given":"Walter","family":"Vogler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","first-page":"12","volume":"31","author":"L Castellano","year":"1987","unstructured":"L. Castellano, G. De Michelis, and L. Pomello. Concurrency vs. interleaving: An instructive example. Bull. EATCS, 31: 12\u201315, 1987.","journal-title":"Bull. EATCS"},{"key":"23_CR2","volume-title":"J Wiley","author":"PC Fishburn","year":"1985","unstructured":"P.C. Fishburn. Interval Orders and Interval Graphs. J. Wiley, 1985."},{"key":"23_CR3","unstructured":"R.J. v. Glabbeek. The refinement theorem for ST-bisimulation semantics. In M. Broy and C.B. Jones, editors, Programming Con\u00accepts and Methods, Proc. IFIP Working Conference, 27\u201352. Elsevier Science Publisher(North-Holland), 1990."},{"key":"23_CR4","first-page":"428","volume":"2","author":"J Grabowski","year":"1981","unstructured":"J. Grabowski. On partial languages. Fundamenta Informaticaey IV. 2: 428\u2013498, 1981.","journal-title":"Fundamenta Informaticaey IV"},{"key":"23_CR5","volume-title":"Technical Report","author":"R Janicki","year":"1993","unstructured":"R. Janicki and M. Koutny. Representations of discrete interval orders and semi-orders. Technical Report 93-02, Dept. Comp. Sci. Sys., McMaster University, Hamilton, Ontario, 1993."},{"key":"23_CR6","first-page":"3","volume":"24","author":"A Kiehn","year":"1988","unstructured":"A. Kiehn. On the interrelationship between synchronized and non- synchronized behaviour of Petri nets. J. Inf. Process. Cybern. EIK, 24: 3\u201318, 1988.","journal-title":"J. Inf. Process. Cybern. EIK"},{"key":"23_CR7","volume-title":"J. Paredaens, editor, Automata, Languages and Programming, Lect. Notes Comp. Sci. 172, 403\u2013413. Springer","author":"W Reisig","year":"1984","unstructured":"W. Reisig. Partial order semantics versus interleaving semantics for CSP-like languages and its impact on fairness. In J. Paredaens, editor, Automata, Languages and Programming, Lect. Notes Comp. Sci. 172, 403\u2013413. Springer, 1984."},{"key":"23_CR8","first-page":"389","volume":"17","author":"PH Starke","year":"1981","unstructured":"P.H. Starke. Processes in Petri nets. J. Inf. Process. Cybern. EIK, 17: 389\u2013416, 1981.","journal-title":"J. Inf. Process. Cybern. EIK"},{"key":"23_CR9","volume-title":"Springer","author":"W Vogler","year":"1992","unstructured":"W. Vogler. Modular Construction and Partial Order Semantics of Petri Nets. Lect. Notes Comp. Sci. 625. Springer, 1992."},{"key":"23_CR10","volume-title":"Technical Report Nr","author":"W Vogler","year":"1993","unstructured":"W. Vogler. The limit of splitn-language equivalence. Technical Report Nr. 288, Inst. f. Mathematik, Univ. Augsburg, 1993."}],"container-title":["Workshops in Computing","Structures in Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3078-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T13:31:26Z","timestamp":1555853486000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3078-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199823","9781447130789"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3078-9_23","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}