A computational model for distributed systems using operator nets

  • Janice I. Glasgow
  • Glenn H. MacEwen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 259)


Temporal Logic Function Definition Denotational Semantic Operator Node History Sequence 
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. [Arvind 1977]
    "Some Relationships Between Asynchronous Interpreters of Dataflow", in Formal Description of Programming Language, IFIP Working Group 2.2, 1977.Google Scholar
  2. [Ashcroft 1976]
    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.CrossRefGoogle Scholar
  3. [Ashcroft 1985]
    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. [Brock 1981]
    J.D. Brock and W.B. Ackerman, "Scenarios: A Model of Nondeterminate Computation", International Colloquium on Formalization of Programming Concepts, 1981.Google Scholar
  5. [Chandy 1985]
    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.CrossRefGoogle Scholar
  6. [Chen 1983]
    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. [Conway 1963]
    M.E. Conway, "Design of a Separable Transition-diagram Compiler", Communication of the ACM 6, pp. 396–408, 1963.CrossRefGoogle Scholar
  8. [Dijkstra 1976]
    E.W. Dijkstra, A Discipline of Programming, Prentice-Hall, Englewood Cliffs, New Jersey, 1976.Google Scholar
  9. [Faustini 1986]
    A.A. Faustini and E.B. Lewis, "Toward a Real-Time Dataflow Language", IEEE Software, pp. 29–35, January 1986.Google Scholar
  10. [Faustini 1983]
    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. [Glasgow 1984]
    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. [Glasgow 1985a]
    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. [Glasgow 1985b]
    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. [Glasgow 1986]
    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. [Kahn 1974]
    G. Kahn, "The Semantics of a Simple Language for Parallel Processing", Proceedings of IFIP Congress 74, pp. 471–475, 1974.Google Scholar
  16. [Kahn 1977]
    G. Kahn and D. McQueen, "Coroutines and Networks of Parallel Processes," Proceedings of IFIP Congress 77, pp. 993–998, 1977.Google Scholar
  17. [Karp 1969]
    R.M. Karp and R.E. Miller, "Parallel Program Schemata", Journal of Computer and System Sciences: 3, pp. 147–195, 1969.Google Scholar
  18. [Keller 1977]
    R.M. Keller, "Denotational Models for Parallel Programs With Indeterminate Operators," Formal Descriptions of Programming Languages, North-Holland, Amsterdam, 1977.Google Scholar
  19. [MacEwen 1984]
    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. [MacEwen 1987]
    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. [MacQueen 1979]
    D.B. MacQueen, "Models for Distributed Computing", INRIA Report #351, April 1979.Google Scholar
  22. [Manna 1974]
    Z. Manna, Mathematical Theory of Computation, McGraw Hill, 1974.Google Scholar
  23. [Manna 1984]
    Z. Manna, A. Pnueli, "Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Programs", Science of Computer Programming 4, pp. 257–289, 1984.CrossRefGoogle Scholar
  24. [Misra 1981]
    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. [Nguyen 1984]
    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. [Nguyen 1986]
    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. [Peterson 1981]
    J.L. Peterson, "Petri Net Theory and the Modeling of Systems", Prentice-Hall, Englewood Cliffs, NJ, 1981.Google Scholar
  28. [Pratt 1982]
    V. Pratt, "On the Composition of Processes," 9th Annual ACM Symp. Princ. of Prog. Lang., pp. 213–223, 1982.Google Scholar
  29. [Skillicorn 1986]
    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. [Stoy 1977]
    J.E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge, Mass., 1977.Google Scholar
  31. [Wadge 1985]
    W.W. Wadge, E.A. Ashcroft, Lucid, the Dataflow Programming Language, Academic Press, 303 pages, 1985.Google Scholar
  32. [Zave 1983]
    P. Zave, "Operational Specification Language", ACM Annual Conference, pp. 214–222, October, 1983.Google Scholar
  33. [Zave 1982]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Janice I. Glasgow
    • 1
  • Glenn H. MacEwen
    • 1
  1. 1.Department of Computing and Information ScienceQueen's UniversityKingstonCanada

Personalised recommendations