Formal behavioural specification of concurrent systems without globality assumptions

  • P. E. Lauer
  • M. W. Shields
  • J. Y. Cotronis
Invited Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 107)


Regular Expression Concurrent System Event Expression Border Control System Definition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [B80]
    Best, E. Adequacy of Path Programs In: Net Theory and Applications: Proceedings of the Advanced Course on General Net Theory of Processes and Systems. Hamburg, 1979. (Ed. Prof. Wilfried Brauer). Lecture Notes in Computer Science 84, Springer Verlag 1980.Google Scholar
  2. [CH74]
    Campbell, R.H., Habermann, A.N.: The specification of process synchronization by path expressions. Lecture Notes in Computer Science V. 16, Springer Verlag, pp. 89–102.Google Scholar
  3. [CK79]
    Campbell, R.H., Kolstad, R.B.: Path expressions in Pascal. Department of Computer Science, University of Illinois at Champaign-Urbana, Urbana, IL, 1979.Google Scholar
  4. [DDH72]
    Dahl, O-J., Dijkstra, E.W., Hoare, C.A.R.: Structured Programming, A.P.I.C. Studies in Data Processing No. 8, Academic Press, 1972.Google Scholar
  5. [Dij68]
    Dijkstra, E.W.: Co-operating sequential processes. In: Programming Languages, ed. Cenuuys, Academic Press 1968.Google Scholar
  6. [Dij76]
    Dijkstra, E.W.: A discipline of Programming. Prentice Hall, 1976.Google Scholar
  7. [H75]
    Habermann, A.N.: Path expressions, Tech. Rep., Carnegie-Mellon University Pittsburgh, PA. U.S.A. (1975).Google Scholar
  8. [H78]
    Hoare, C.A.R.: Communicating sequential processes. CACM vol. 21, No. 8 August 1978.Google Scholar
  9. [LC75]
    Lauer, P.E., Campbell, R.H.: Formal semantics for a class of high level primitives for coordinating concurrent processes. Acta Informatica 5, 247–332 (1975).CrossRefGoogle Scholar
  10. [LSB79]
    Lauer, P.E., Shields, M.W., Best, E.: The design and certification of asynchronous systems of processes. Proc. of EEC Advanced Course on Abstract Software Specification, Lyngby, Jan. 22–Feb. 2, 1979. Lecture Notes in Computer Science, No. 86, Springer Verlag, 1979, pp. 451–503.Google Scholar
  11. [LS77]
    Lauer, P.E., Shields, M.W.: Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts. SIGPLAN Notices, Vol. 13, No. 12, Dec. 1978.Google Scholar
  12. [LSB79a]
    Lauer, P.E., Shields, M.W., Best, E.: Formal Theory of the Basic COSY Notation. The Computing Laboratory, University of Newcastle upon Tyne, Tech. Rep. Series No. 143, November 1979.Google Scholar
  13. [LS80]
    Lauer, P.E., Shields, M.W.: COSY An environment for development and analysis of concurrent and distributed systems. In: Software Engineering Environments (Ed. H. Hunke) North Holland 1981.Google Scholar
  14. [LTD80]
    Lauer, P.E., Torrigiani, P.R. Devillers, R.: A COSY Banker: Specification of highly parallel and distributed resource management. Proc. 4th International Symposium on Programming, Paris, April 22–24, 1980. Lecture Notes in Computer Science 83, Springer Verlag 1980, pp. 223–239.Google Scholar
  15. [LTS79]
    Lauer, P.E., Torrigiani, P.R., Shields, M.W.: COSY: a system specification language based on paths and processes. Acta Informatica, Vo. 12, pp. 109–158, 1979.CrossRefGoogle Scholar
  16. [Maz79]
    Mazurkiewicz, A.: A complete set of assertions on distributed systems. Draft 1979.Google Scholar
  17. [R72]
    Riddle, W.E.: Modelling and Analysis of supervisory systems Ph.D. Thesis, Computer Science Department, Stanford University, Standford, CA, 1972.Google Scholar
  18. [RSSW77]
    Riddle, W.E., Sayler, J.E., Segal, A.R., Wileden, J.: An introduction to the DREAM software design system. Software Engineering Notes, 2,4 pp. 11–24 1977.Google Scholar
  19. [S79]
    Shields, M.W.: Adequate Path Expressions. Proc. Symp. on the Semantics of Concurrent Computation, Evian-les-Bains, July 2–4, 1979. Lecture Notes in Computer Science Vol. 70, Springer Verlag 1979.Google Scholar
  20. [Sh78]
    Shaw, A.C.: Software descriptions with flow expressions. IEEE Transactions on Software Engineering SE-4, 3, pp. 242–254, 1978.Google Scholar
  21. [Sh79]
    Shaw, A.C.: Software specification languages based on regular expressions, Software Development Tools Workshop Conference, Pingtree Park, Colorada, May 21–25, 1979. Also Tech. Rep. No. 31, ETH Zurich, Institut fur Informatik. June 1979.Google Scholar
  22. [SL78]
    Shields, M.W., Lauer, P.E.: On the abstract specification and formal analysis of synchronization properties of concurrent systems. Proc. of Int. Conf. on Mathematical Studies of Information Processing. Aug. 23–26, Kyoto, 1978. Lecture Notes in Computer Science 75, Springer Verlag 1979, pp. 1–32.Google Scholar
  23. [SL79]
    Shields, M.W., Lauer, P.E.: A formal semantics for concurrent systems. Proc. 6th Int. Colloqu. for Automata, Languages and Programming, July 16–21, 1979 Graz, Lecture Notes in Computer Science, 71, Springer Verlag, 1979, pp. 569–584.Google Scholar
  24. [SL80]
    Shields, M.W., Lauer, P.E.: Verifying concurrent system specification in COSY. Proc. 8th Symposium on Mathematical Foundations of Computer Science, Aug. 31–Sept. 6, 1980, Poland. Lecture Notes in Computer Science, No. 88, Springer Verlag 1980, pp. 576–586.Google Scholar
  25. [WLS76]
    Wulf, W.A., London, R.L., Shaw, M.: An introduction to the construction and verification of Alphard Programs. IEEE Trans. on Software Engineering SE-2(4), Dec. 1976.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • P. E. Lauer
    • 1
  • M. W. Shields
    • 1
  • J. Y. Cotronis
    • 1
  1. 1.Computing LaboratoryUniversity of Newcastle upon TyneNewcastle upon TyneEngland

Personalised recommendations