{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:18Z","timestamp":1725663378045},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540160472"},{"type":"electronic","value":"9783540397311"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-16047-7_52","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:34:11Z","timestamp":1330176851000},"page":"271-292","source":"Crossref","is-referenced-by-count":0,"title":["A simple railway system"],"prefix":"10.1007","author":[{"given":"P. E.","family":"Lauer","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"E Best: Adequacy of Path Programs. In: Net Theory and Applications: Proc. of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, 1979 (Ed. W Brauer). Lecture Notes in Computer Science 84, Springer Verlag, 1980.","DOI":"10.1007\/3-540-10001-6_29"},{"key":"21_CR2","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0304-3975(82)90020-2","volume":"18","author":"E Best","year":"1982","unstructured":"E Best: Adequacy Properties of Path Programs, Theoretical Computer Science 18 (1982), pp 149\u2013171, North-Holland Publishing Co.","journal-title":"Theoretical Computer Science"},{"key":"21_CR3","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":"21_CR4","unstructured":"J Y Cotronis, P E Lauer: Two way channel with disconnect, this Volume."},{"key":"21_CR5","unstructured":"R E Devillers: The train set strikes again !, Report ASM\/105, Computing Laboratory, University of Newcastle upon Tyne, 17 December 1982."},{"key":"21_CR6","unstructured":"R Janicki, P E Lauer: Towards a solution of the Merlin-Randall problem of train journeys, Report ASM\/95, Computing Laboratory, University of Newcastle upon Tyne, 5 October 1982."},{"key":"21_CR7","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":"21_CR8","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":"21_CR9","unstructured":"P E Lauer, E Best, M W Shields: On the problem of achieving adequacy of concurrent programs. In the book: IFIP TC-2 Working Conference on the Formal Description of Programming Concepts, St Andrews, Canada, 1977. North-Holland Pub. Co."},{"key":"21_CR10","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF00264564","volume":"5","author":"P. E. Lauer","year":"1975","unstructured":"P E Lauer, R H Campbell: Formal Semantics for a class of high level primitives for coordinating concurrent processes. Acta Informatica 5, pp 247\u2013332, 1975.","journal-title":"Acta Informatica"},{"key":"21_CR11","unstructured":"P E Lauer, M W Shields: Interpreted COSY programs: Programming and Verification, Proceedings 2nd International Conference on Distributed Computing Systems, Paris, 8\u201310 April 1981, IEEE Computer Society Press, (Ed. E Gelenbe), 1981,pp.137\u2013148."},{"key":"21_CR12","unstructured":"P E Lauer, M W Shields, E Best: The design and certification of asynchronous systems of processes. Advanced Course on Abstract Software Specification, Lyngby, Denmark, January 1979. Lecture Notes in Computer Science 86, Springer Verlag, 1979."}],"container-title":["Lecture Notes in Computer Science","The Analysis of Concurrent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16047-7_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T17:02:25Z","timestamp":1619542945000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16047-7_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540160472","9783540397311"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-16047-7_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}