{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:13:38Z","timestamp":1725459218729},"publisher-location":"Berlin\/Heidelberg","reference-count":11,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354057316X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0039711","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T14:17:03Z","timestamp":1138198623000},"page":"239-250","source":"Crossref","is-referenced-by-count":0,"title":["Observing some properties of event structures"],"prefix":"10.1007","author":[{"given":"I. B.","family":"Virbitskaite","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/3-540-10001-6_27","volume":"84","author":"E. Best","year":"1980","unstructured":"Best, E.: The relative strenghth of K-density. Lecture Notes in Computer Science 84 (1980) 261\u2013276","journal-title":"Lecture Notes in Computer Science"},{"key":"16_CR2","doi-asserted-by":"crossref","first-page":"77","DOI":"10.3233\/FI-1980-3107","volume":"3","author":"E. Best","year":"1980","unstructured":"Best, E.: A Theorem on the Characteristics of Non-Sequential Processes. Fundamenta Informaticae 3 (1980) 77\u201394","journal-title":"Fundamenta Informaticae"},{"key":"16_CR3","volume-title":"Final Report on the Foundational Part of the Project BEGRUND, FMP-Studien N 107","author":"E. Best","year":"1985","unstructured":"Best, E., Fernandez, C., Pl\u00fcnnecke, H.: Concurrent systems and processes. Final Report on the Foundational Part of the Project BEGRUND, FMP-Studien N 107, GMD, Sankt Augustin, FDR (March 1985)"},{"key":"16_CR4","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0304-3975(88)90096-5","volume":"59","author":"G. Boudol","year":"1988","unstructured":"Boudol, G., Castellani, I.: Concurrency and atomicity. Theoretical Computer Science 59 (1988) 25\u201384","journal-title":"Theoretical Computer Science"},{"key":"16_CR5","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-52494-0_26","volume":"424","author":"L. Cherkasova","year":"1989","unstructured":"Cherkasova, L., Kotov, V.: Descriptive and analytical process algebras. Lecture Notes in Computer Science 424 (1989) 77\u2013104","journal-title":"Lecture Notes in Computer Science"},{"key":"16_CR6","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/978-3-540-47919-2_5","volume":"254","author":"C. Fernandez","year":"1986","unstructured":"Fernandez, C.: Non-sequential processes. Lecture Notes in Computer Science 254 (1986) 95\u2013116","journal-title":"Lecture Notes in Computer Science"},{"key":"16_CR7","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/3-540-15204-0_17","volume":"188","author":"V. Kotov","year":"1984","unstructured":"Kotov, V., Cherkasova, L.: On structural properties of generalized processes. Lecture Notes in Computer Science 188 (1984) 288\u2013306","journal-title":"Lecture Notes in Computer Science"},{"key":"16_CR8","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains. Theoretical Computer Science 13 (1981) 85\u2013108","journal-title":"Theoretical Computer Science"},{"key":"16_CR9","volume-title":"ISP-Report 78.06","author":"C. Petri","year":"1978","unstructured":"Petri, C.: Concurrency as a basis for system thinking. ISP-Report 78.06, St. Augustin: Gesellschaft f\u00fcr Mathematik und Detenverarbeitung (1978)"},{"key":"16_CR10","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1007\/3-540-15204-0_22","volume":"188","author":"H. Pl\u00fcnnecke","year":"1984","unstructured":"Pl\u00fcnnecke, H.: K-density, N-density and finiteness properties. Lecture Notes in Computer Science 188 (1984) 392\u2013412","journal-title":"Lecture Notes in Computer Science"},{"key":"16_CR11","unstructured":"Virbitskaite, I., Votintseva A.,: A Temporal Logic Characterization of a Subclass of Flow Event Structures. (in preparation)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Programming and Their Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0039711.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,23]],"date-time":"2021-07-23T03:35:00Z","timestamp":1627011300000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0039711"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354057316X"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0039711","relation":{},"subject":[]}}