Security and Modularity in Message Passing

[1]  Henry Lieberman,et al.  Specifying and Proving Properties of Guardians for Distributed Systems , 1979, Semantics of Concurrent Computation.

[2]  Carl Hewitt,et al.  Evolving Parallel Programs , 1979 .

[3]  Carl Hewitt,et al.  Concurrent Systems Need Both Sequences And Serializers , 1979 .

[4]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[5]  Peter Boehler Bishop,et al.  Computer systems with a very large address space and garbage collection , 1977 .

[6]  Barbara Liskov,et al.  A Language Extension for Controlling Access to Shared Data , 1976, IEEE Transactions on Software Engineering.

[7]  Klaus Samelson,et al.  Language Hierarchies and Interfaces , 1976, Lecture Notes in Computer Science.

[8]  Per Brinch Hansen,et al.  The programming language Concurrent Pascal , 1975, IEEE Transactions on Software Engineering.

[9]  C. A. R. Hoare,et al.  Monitors: an operating system structuring concept , 1974, CACM.

[10]  William A. Wulf,et al.  HYDRA , 1974, Commun. ACM.