APPLICATION OF FORMAL LANGUAGE THEORY TO PROBLEMS OF SECURITY AND SYNCHRONIZATION11Preparation of this paper was supported in part by the National Science Foundation under Grant No. MCS79–04012.

This publication has 14 references indexed in Scilit:

• On describing the behavior and implementation of distributed systems
  Published by Springer Nature ,2005
• Concurrent Processes and Their Syntax
  Journal of the ACM, 1979
• COSY ? a system specification language based on paths and processes
  Acta Informatica, 1979
• Fault Tolerant Operating Systems
  ACM Computing Surveys, 1976
• Operating System Structures to Support Security and Reliable Software
  ACM Computing Surveys, 1976
• Protection in the Hydra Operating System
  ACM SIGOPS Operating Systems Review, 1975
• On protection in operating systems
  ACM SIGOPS Operating Systems Review, 1975
• Towards the design of secure systems
  Software: Practice and Experience, 1975
• Formal semantics of a class of high-level primitives for coordinating concurrent processes
  Acta Informatica, 1975
• Programming semantics for multiprogrammed computations
  Communications of the ACM, 1966