|
14
|
The Early Search for Tractable Ways of Reasoning About Programs
– C. B. Jones
- 2003
|
|
9
|
On the Search for Tractable Ways of Reasoning about Programs
– C. B. Jones
- 2001
|
|
51
|
A Proof Technique for Rely/Guarantee Properties
– Eugene W. Stark
- 1986
|
|
2028
|
Compositional Model Checking
– E. M. Clarke, D. E. Long, K. L. Mcmillan
- 1999
|
|
514
|
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
|
|
774
|
Linearizability: a correctness condition for concurrent objects
– Maurice P. Herlihy, Jeannette M. Wing
- 1990
|
|
5
|
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
|
|
2
|
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
|
|
57
|
The origins of structural operational semantics
– Gordon D. Plotkin
- 2004
|
|
|
On the Completeness of Compositional Reasoning Methods
– Kedar S. Namjoshi, Richard J. Trefler
|
|
68
|
Writing Larch Interface Language Specifications
– Jeannette M. Wing
- 1987
|
|
|
Table of Contents
– A Dt Competitiveness Report
|
