Preview
Unable to display preview. Download preview PDF.
5 Bibliography
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.
E Best: Adequacy Properties of Path Programs, Theoretical Computer Science 18 (1982), pp 149–171, North-Holland Publishing Co.
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
J Y Cotronis, P E Lauer: Two way channel with disconnect, this Volume.
R E Devillers: The train set strikes again !, Report ASM/105, Computing Laboratory, University of Newcastle upon Tyne, 17 December 1982.
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.
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.
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.
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.
P E Lauer, R H Campbell: Formal Semantics for a class of high level primitives for coordinating concurrent processes. Acta Informatica 5, pp 247–332, 1975.
P E Lauer, M W Shields: Interpreted COSY programs: Programming and Verification, Proceedings 2nd International Conference on Distributed Computing Systems, Paris, 8–10 April 1981, IEEE Computer Society Press, (Ed. E Gelenbe), 1981,pp.137–148.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lauer, P.E. (1985). A simple railway system. In: Denvir, B.T., Harwood, W.T., Jackson, M.I., Wray, M.J. (eds) The Analysis of Concurrent Systems. Lecture Notes in Computer Science, vol 207. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16047-7_52
Download citation
DOI: https://doi.org/10.1007/3-540-16047-7_52
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16047-2
Online ISBN: 978-3-540-39731-1
eBook Packages: Springer Book Archive