{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:08Z","timestamp":1725663248702},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540156703"},{"type":"electronic","value":"9783540395935"}],"license":[{"start":{"date-parts":[[1985,1,1]],"date-time":"1985-01-01T00:00:00Z","timestamp":473385600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15670-4_13","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:23:00Z","timestamp":1330194180000},"page":"268-280","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Maximally concurrent evolution of non-sequential systems"],"prefix":"10.1007","author":[{"given":"R.","family":"Janicki","sequence":"first","affiliation":[]},{"given":"P. E.","family":"Lauer","sequence":"additional","affiliation":[]},{"given":"R.","family":"Devillers","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"13_CR1","unstructured":"W Brauer (ed.): Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, 1979. Lecture Notes in Computer Science 84, Springer Verlag, 1980"},{"key":"13_CR2","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/BF00289593","volume":"16","author":"E Best","year":"1981","unstructured":"E Best, B Randell: A Formal Model of Atomicity in Asynchronous Systems, Acta Informatica 16, 93\u2013124 (1981).","journal-title":"Acta Informatica"},{"key":"13_CR3","unstructured":"R Devillers: On the Maximally Concurrent Evolution of a COSY System, Report ASM\/106, Computing Laboratory, University of Newcastle upon Tyne, 1983."},{"key":"13_CR4","doi-asserted-by":"crossref","first-page":"966","DOI":"10.1145\/359642.359655","volume":"21","author":"E. W. Dijkstra","year":"1978","unstructured":"E W Dijkstra, L Lamport, A J Martin, C S Scholten, E F M Steffens: On the fly garbage collection: an exercise in cooperation, CACM 21, 966\u2013975 (1978).","journal-title":"CACM"},{"key":"13_CR5","unstructured":"P E Lauer: Computer System Dossiers, Proc. Int. Seminar on Synchronisation, Control and Communication in Distributed Computing Systems, London, Sept. 20 through 24, 1982. To appear in a Book by Academic Press."},{"key":"13_CR6","unstructured":"P E Lauer: Users' introduction to BCS: A computer based environment for specifying analysing and verifying concurrent systems, Report ASM\/107, Computing Laboratory, University of Newcastle upon Tyne, June 1983."},{"key":"13_CR7","unstructured":"P E Lauer, B C Hamshere: Project on a Computer Based Environment for the Design and Analysis of Highly Parallel and Distributed Computing Systems, Report ASM\/103, Computing Laboratory, University of Newcastle upon Tyne, 1982."},{"key":"13_CR8","unstructured":"P E Lauer, R Janicki:The role of maximally concurrent simulation in the computer based analysis of distributed systems, Report ASM\/96, Computing Laboratory, University of Newcastle upon Tyne, 1982."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"P E Lauer, M W Shields, J Y Cotronis: Formal behavioural specification of concurrent systems without globality assumptions, Int. Colloq. on Formalization of Programming Concepts, Lecture Notes in Computer Science V.107, 1981.","DOI":"10.1007\/3-540-10699-5_95"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"M W Shields: Adequate Path Expressions; Proc. Intern. Symposium on the Semantics of Concurrent Computation, Evians-les-Bains, July 2\u20134, 1979. Lecture Notes in Computer Science No.70, Springer Verlag, 1979,pp. 249\u2013265.","DOI":"10.1007\/BFb0022473"}],"container-title":["Lecture Notes in Computer Science","Seminar on Concurrency"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15670-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:20:16Z","timestamp":1558268416000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15670-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156703","9783540395935"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-15670-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]},"assertion":[{"value":"29 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}