Skip to main content
SpringerLink
Log in

A computational model for distributed systems using operator nets

  • Conference paper
  • First Online:
PARLE Parallel Architectures and Languages Europe (PARLE 1987)

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

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.

References

  1. "Some Relationships Between Asynchronous Interpreters of Dataflow", in Formal Description of Programming Language, IFIP Working Group 2.2, 1977.

    Google Scholar 

  2. E.A. Ashcroft and W.W. Wadge, Lucid, "A Formal Theory for Writing and Proving Programs", SIAM J. Comput., 5, No. 3, pp. 336–354, 1976.

    Article  Google Scholar 

  3. E.A. Ashcroft and R. Jagannathan, "Operator Nets", in Proceedings of IFIP TC-10 Working Conference on Fifth-Generation Computer Architectures, North Holland, 1985.

    Google Scholar 

  4. J.D. Brock and W.B. Ackerman, "Scenarios: A Model of Nondeterminate Computation", International Colloquium on Formalization of Programming Concepts, 1981.

    Google Scholar 

  5. K.M. Chandy and L. Lamport, "Distributed Snapshots: Determining Global States of Distributed Systems", ACM Transactions on Computer Systems, Vol. 3, No. 1, pp. 63–75, 1985.

    Article  Google Scholar 

  6. B. Chen and R.T. Yeh, "Formal Specification and Verification of Distributed Systems", IEEE Transactions on Software Engineering, Vol. SE-9, No. 6, pp. 710–721, 1983.

    Google Scholar 

  7. M.E. Conway, "Design of a Separable Transition-diagram Compiler", Communication of the ACM 6, pp. 396–408, 1963.

    Article  Google Scholar 

  8. E.W. Dijkstra, A Discipline of Programming, Prentice-Hall, Englewood Cliffs, New Jersey, 1976.

    Google Scholar 

  9. A.A. Faustini and E.B. Lewis, "Toward a Real-Time Dataflow Language", IEEE Software, pp. 29–35, January 1986.

    Google Scholar 

  10. A.A. Faustini, S.G. Mathews and A.A. Yaghi, "The pLucid Programming Manual", Department of Computer Science, University of Arizona, Tempe, Arizona, 1983.

    Google Scholar 

  11. J.I. Glasgow, F. Ouabdesselam, G.H. MacEwen, T. Mercouris, "Specifying Multi-level Security in a Distributed System", NBS/DOD Computer Security Conference, Gaithersburg, MD, September, 1984.

    Google Scholar 

  12. J.I. Glasgow, G.H. MacEwen, "Lucid: A Specification Language for Distributed Systems", Verification Workshop III, Watsonville, California, Feb. 1985, also appears in ACM Software Engineering Notes, August 1985.

    Google Scholar 

  13. J.I. Glasgow, G.H. MacEwen, "A Two-level Security Model for a Secure Network", Proceedings of the Eighth National Computer Security Conference, Gaithersburg, MD. September 1985.

    Google Scholar 

  14. J.I. Glasgow, G.H. MacEwen, "The Development and Proof of a Formal Specification for a Multi-level Secure System," ACM Transactions on Computer Systems, Vol. 5, No. 2, May 1987.

    Google Scholar 

  15. G. Kahn, "The Semantics of a Simple Language for Parallel Processing", Proceedings of IFIP Congress 74, pp. 471–475, 1974.

    Google Scholar 

  16. G. Kahn and D. McQueen, "Coroutines and Networks of Parallel Processes," Proceedings of IFIP Congress 77, pp. 993–998, 1977.

    Google Scholar 

  17. R.M. Karp and R.E. Miller, "Parallel Program Schemata", Journal of Computer and System Sciences: 3, pp. 147–195, 1969.

    Google Scholar 

  18. R.M. Keller, "Denotational Models for Parallel Programs With Indeterminate Operators," Formal Descriptions of Programming Languages, North-Holland, Amsterdam, 1977.

    Google Scholar 

  19. G.H. MacEwen, Z. Lu and B. Burwell, "Multi-Level Security Based on Physical Distribution", Proceedings of IEEE Symposium on Security and Privacy, Oakland, pp. 167–177, April, 1984. Also presented at NBS/DOD Computer Security Conference, Gaithersburg, MD, September 1984.

    Google Scholar 

  20. G.H. MacEwen, V. Poon and J. Glasgow, "A Model for Multilevel Security Based on Operator Nets", Proceedings of the IEEE Symposium on Security and Privacy, Oakland, April 1987.

    Google Scholar 

  21. D.B. MacQueen, "Models for Distributed Computing", INRIA Report #351, April 1979.

    Google Scholar 

  22. Z. Manna, Mathematical Theory of Computation, McGraw Hill, 1974.

    Google Scholar 

  23. Z. Manna, A. Pnueli, "Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Programs", Science of Computer Programming 4, pp. 257–289, 1984.

    Article  Google Scholar 

  24. J. Misra and K.M. Chandy, "Proofs of Networks of Processes," IEEE Trans. Software Eng. SE-7, pp. 417–526, July 1981.

    Google Scholar 

  25. V. Nguyen, D. Gries and S. Owicki, "A Model and Temporal Proof System for Networks of Processes," 11th Annual Princ. of Prog. Lang., pp. 121–131, 1984.

    Google Scholar 

  26. V. Nguyen, A. Demers, D. Gries and S. Owicki, "A Model and Temporal Proof System for Networks of Processes," Distributed Computing, Vol 1, No. 1, 1986.

    Google Scholar 

  27. J.L. Peterson, "Petri Net Theory and the Modeling of Systems", Prentice-Hall, Englewood Cliffs, NJ, 1981.

    Google Scholar 

  28. V. Pratt, "On the Composition of Processes," 9th Annual ACM Symp. Princ. of Prog. Lang., pp. 213–223, 1982.

    Google Scholar 

  29. D. Skillicorn, J.I. Glasgow, "Real-Time Specification Using Lucid", Department of Computing and Information Science, Queen's University, Technical Report, 1986.

    Google Scholar 

  30. J.E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge, Mass., 1977.

    Google Scholar 

  31. W.W. Wadge, E.A. Ashcroft, Lucid, the Dataflow Programming Language, Academic Press, 303 pages, 1985.

    Google Scholar 

  32. P. Zave, "Operational Specification Language", ACM Annual Conference, pp. 214–222, October, 1983.

    Google Scholar 

  33. P. Zave, "An Operational Approach to Requirements Specification for Embedded Systems", IEEE Transactions on Software Engineering SE-8, pp. 250–269, May 1982.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing and Information Science, Queen's University, K7L 3N6, Kingston, Canada

    Janice I. Glasgow & Glenn H. MacEwen

Authors
  1. Janice I. Glasgow
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Glenn H. MacEwen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. W. de Bakker A. J. Nijman P. C. Treleaven

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Glasgow, J.I., MacEwen, G.H. (1987). A computational model for distributed systems using operator nets. In: de Bakker, J.W., Nijman, A.J., Treleaven, P.C. (eds) PARLE Parallel Architectures and Languages Europe. PARLE 1987. Lecture Notes in Computer Science, vol 259. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17945-3_14

Download citation

  • DOI: https://doi.org/10.1007/3-540-17945-3_14

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17945-0

  • Online ISBN: 978-3-540-47181-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation