Advertisement

A simple railway system

  • P. E. Lauer
4. Solutions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 207)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

5 Bibliography

  1. [B79]
    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.Google Scholar
  2. [B82]
    E Best: Adequacy Properties of Path Programs, Theoretical Computer Science 18 (1982), pp 149–171, North-Holland Publishing Co.Google Scholar
  3. [Br80]
    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, 1980Google Scholar
  4. [CL83]
    J Y Cotronis, P E Lauer: Two way channel with disconnect, this Volume.Google Scholar
  5. [D82]
    R E Devillers: The train set strikes again !, Report ASM/105, Computing Laboratory, University of Newcastle upon Tyne, 17 December 1982.Google Scholar
  6. [JL82]
    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.Google Scholar
  7. [L82]
    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.Google Scholar
  8. [L83]
    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.Google Scholar
  9. [LBS77]
    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.Google Scholar
  10. [LC75]
    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.Google Scholar
  11. [LS81b]
    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.Google Scholar
  12. [LSB79a]
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • P. E. Lauer
    • 1
  1. 1.Computing LaboratoryUniversity of Newcastle upon TyneUK

Personalised recommendations