A Calculus for Access Control in Distributed Systems (1991)

by M. Abadi , M. Burrows , B. Lampson , G. Plotkin , J. Kohl , C. Neuman , J. Steiner
Citations:351 - 15 self

Active Bibliography

Specifying Dynamic Object Systems – Luís Caires, Luís Monteiro - 1998
6 On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems – Abdelillah Mokkedem, Dominique Méry - 1993
2 Compositional Verification of Synchronous Networks – Leszek Holenderski - 2000
Concurrent Programming—Parallel programming – Martín Abadi
Languages, Theory – Martín Abadi, Gordon Plotkin
Anytime, Anywhere -- Modal Logics for . . . – Luca Cardelli, et al.
12 Lazy Compositional Verification – Natarajan Shankar - 1998
Transition Assertions: A Higher-Order Logic Based Method for the Specification and Verification of Real-Time Systems – Victor Alberto Carreno Coll - 1997
9 On the Logic of TLA+ – Stephan Merz - 2003
5 A Compositional World a survey of recent works on compositionality in formal methods – Carlo Alberto Furia - 2005
26 Parallel Composition of Assumption-Commitment Specifications - a Unifying Approach for Shared Variable and Distributed Message Passing Concurrency – A. Cau, P. Collette - 1996
1 Automatic Derivation of Compositional Rules in Automated Compositional Reasoning ⋆ – Bow-yaw Wang
5 Using Eternity Variables to Specify and Prove a Serializable Database Interface – Wim H. Hesselink, Th May - 2003
8 A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs – Abdelillah Mokkedem, Dominique Méry - 1994
8 Denotational Semantics of Object Specification – Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro - 1998
16 Using the Refinement Calculus for Dataflow Processes – Brendan P. Mahony - 1994
8 On TLA as a Logic – Martin Abadi, Stephan Merz - 1996
35 Full abstraction for a shared variable parallel language – Stephen Brookes - 1993
5 Conjunction on processes: Full-abstraction via ready-tree semantics – Gerald Lüttgen, Walter Vogler - 2006