Foundations of a Theory of Specification for Distributed Systems (1984)

Cached

Download Links

by Eugene William Stark
Citations:13 - 2 self

Active Bibliography

9 On the Search for Tractable Ways of Reasoning about Programs – C. B. Jones - 2001
15 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
54 A Proof Technique for Rely/Guarantee Properties – Eugene W. Stark - 1986
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
540 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
Practical framework for . . . – Piotr Nienaltowski - 2006
5 Specification and Refinement of Networks of Asynchronously Communicating Agents Using the Assumption/Commitment Paradigm – Ketil Stølen, Frank Dederichs, Rainer Weber, F. Dederichs, R. Weber - 1995
1 Assumption/Commitment Rules for Networks of Asynchronously Communicating Agents – Ketil Stølen, Frank Dederichs, Rainer Weber - 1993
General Terms: Theory, – Maurice P. Herlihy, Jeannette M. Wing
928 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
6 Categorical Models for Concurrency: Independence, Fairness and Dataflow – Thomas Troels Hildebrandt - 2000
Towards Concurrent Hoare Logic – Supervisor Professor, Tad Takaoka, Robin Candy - 2012
Process Logic and Duality -- Part I: Sequential Processes – Kohei Honda
4 An Open Framework for Certified System Software – Xinyu Feng - 2008
Formal Justification in Requirements Engineering – Simon Robert Smith - 1996
9 An Adaptive Resource Management Architecture for Global Distributed Computing – Nalini Venkatasubramanian - 1998
64 The origins of structural operational semantics – Gordon D. Plotkin - 2004
2 On the Completeness of Compositional Reasoning Methods – Kedar S. Namjoshi, Richard J. Trefler
72 Writing Larch Interface Language Specifications – Jeannette M. Wing - 1987