Skip to main content
SpringerLink
Log in

Formal behavioural specification of concurrent systems without globality assumptions

  • Invited Lectures
  • Conference paper
  • First Online:
Formalization of Programming Concepts (ICFPC 1981)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 107))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. 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. 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. 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. 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. Dijkstra, E.W.: Co-operating sequential processes. In: Programming Languages, ed. Cenuuys, Academic Press 1968.

    Google Scholar 

  6. Dijkstra, E.W.: A discipline of Programming. Prentice Hall, 1976.

    Google Scholar 

  7. Habermann, A.N.: Path expressions, Tech. Rep., Carnegie-Mellon University Pittsburgh, PA. U.S.A. (1975).

    Google Scholar 

  8. Hoare, C.A.R.: Communicating sequential processes. CACM vol. 21, No. 8 August 1978.

    Google Scholar 

  9. 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).

    Article  Google Scholar 

  10. 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. 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. 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. 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. 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. 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.

    Article  Google Scholar 

  16. Mazurkiewicz, A.: A complete set of assertions on distributed systems. Draft 1979.

    Google Scholar 

  17. Riddle, W.E.: Modelling and Analysis of supervisory systems Ph.D. Thesis, Computer Science Department, Stanford University, Standford, CA, 1972.

    Google Scholar 

  18. 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. 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. Shaw, A.C.: Software descriptions with flow expressions. IEEE Transactions on Software Engineering SE-4, 3, pp. 242–254, 1978.

    Google Scholar 

  21. 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. 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. 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. 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. 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 

Download references

Author information

Authors and Affiliations

  1. Computing Laboratory, University of Newcastle upon Tyne, NE1 7RU, Newcastle upon Tyne, England

    P. E. Lauer, M. W. Shields & J. Y. Cotronis

Authors
  1. P. E. Lauer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. W. Shields
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. J. Y. Cotronis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. Díaz I. Ramos

Rights and permissions

Reprints and permissions

Copyright information

© 1981 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lauer, P.E., Shields, M.W., Cotronis, J.Y. (1981). Formal behavioural specification of concurrent systems without globality assumptions. In: Díaz, J., Ramos, I. (eds) Formalization of Programming Concepts. ICFPC 1981. Lecture Notes in Computer Science, vol 107. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10699-5_95

Download citation

  • DOI: https://doi.org/10.1007/3-540-10699-5_95

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10699-9

  • Online ISBN: 978-3-540-38654-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation