{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:40:06Z","timestamp":1742589606767,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540078548"},{"type":"electronic","value":"9783540381693"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1976]]},"DOI":"10.1007\/3-540-07854-1_229","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:15:11Z","timestamp":1330186511000},"page":"559-568","source":"Crossref","is-referenced-by-count":0,"title":["On sequential modelling of non-sequential processes"],"prefix":"10.1007","author":[{"given":"J\u00f3zef","family":"Winkowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,21]]},"reference":[{"key":"73_CR1","doi-asserted-by":"crossref","unstructured":"Baer, J.L., A Survey of Some Theoretical Aspects of Multiprogramming, Computing Surveys, Vol 5, No 1, March 1973","DOI":"10.1145\/356612.356615"},{"key":"73_CR2","doi-asserted-by":"crossref","unstructured":"Brinch Hansen, P., Concurrent Programming Concepts, Computing Surveys, Vol 5, 1973","DOI":"10.1145\/356622.356624"},{"key":"73_CR3","unstructured":"Genrich, H.J., Einfache nicht-sequentielle Prozesse, BMBW-GMD-37, Bonn, 1971"},{"key":"73_CR4","doi-asserted-by":"crossref","unstructured":"Genrich, H.J., Extended Simple Regular Expressions, in Proc. of MFCS'75 Symp., Marianske Lazne, Lecture Notes in Comp. Sc. 32, Springer-Verlag, 1975","DOI":"10.1007\/3-540-07389-2_201"},{"key":"73_CR5","doi-asserted-by":"crossref","unstructured":"Karp, R.M. and Miller, R.E., Parallel Program Schemata, JCSS 3(2)","DOI":"10.1016\/S0022-0000(69)80011-5"},{"key":"73_CR6","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz, A., Parallel Recursive Program Schemes, in Proc. of MFCS'75 Symp., Marianske Lazne, Lecture Notes in Comp. Sc. 32, Springer-Verlag, 1975","DOI":"10.1007\/3-540-07389-2_183"},{"key":"73_CR7","unstructured":"Mazurkiewicz, A., Invariants of Concurrent Programs, to appear"},{"key":"73_CR8","unstructured":"Milner, R., An Approach to the Semantics of Parallel Programs, Unpublished Memo, Computer Science Department, University of Edinburgh, 1973"},{"key":"73_CR9","unstructured":"Petri, C.A., Interpretations of Net Theory, GMD, Bonn, 1975, presented at MFCS'75 Symp., Marianske Lazne, 1975"},{"key":"73_CR10","first-page":"5","volume":"6","author":"R. M. Shapiro","year":"1970","unstructured":"Shapiro, R.M. and Saint, H., A New Approach to Optimization of Sequencing Decisions, Ann. Rev. in Aut.Prog., Vol 6, P 5, 1970","journal-title":"Ann. Rev. in Aut.Prog."},{"key":"73_CR11","unstructured":"Winkowski, J., Formal Theories of Petri Nets and Net Simulations, CC PAS Reports 242, 1976"},{"key":"73_CR12","unstructured":"Winkowski, J., Towards an Understanding of Computer Simulation, CC PAS Reports 243, 1976"},{"key":"73_CR13","unstructured":"Winkowski, J., On Sequential Modelling of Parallel Processes, to appear in CC PAS Reports"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1976"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07854-1_229.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T19:58:54Z","timestamp":1742587134000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07854-1_229"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1976]]},"ISBN":["9783540078548","9783540381693"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-07854-1_229","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1976]]}}}