|
514
|
Composing Specifications
– Martín Abadi, Leslie Lamport
- 1993
|
|
126
|
Tentative steps toward a development method for interfering programs
– C B Jones
|
|
151
|
K.M.: Proofs of networks of processes
– J Misra, Chandy
- 1981
|
|
505
|
Assigning meanings to programs
– R W Floyd
- 1967
|
|
6
|
On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems
– Abdelillah Mokkedem, Dominique Méry
- 1993
|
|
3
|
received a DEA (French MSc) from the University of Poitiers in July 2001, an engineering degree from ENSMA (National Superior School of Mechanics & Aerospace Techniques) in January 2001. Full year computerscience and computer-systems-engineering exchange
– Rémi Delmas
|
|
234
|
Trace Theory for Automatic Hierarchical Verification of SpeedIndependent Circuits
– D L Dill
- 1989
|
|
26
|
Parallel Composition of Assumption-Commitment Specifications - a Unifying Approach for Shared Variable and Distributed Message Passing Concurrency
– A. Cau, P. Collette
- 1996
|
|
252
|
Reactive Modules
– Rajeev Alur , Thomas A. Henzinger
- 1996
|
|
350
|
F.B.: Defining liveness
– B Alpern, Schneider
- 1985
|
|
765
|
The Temporal Logic of Actions
– Leslie Lamport
- 1993
|
|
437
|
An introduction to input/output automata
– Nancy A. Lynch, Mark R. Tuttle
- 1989
|
|
409
|
The Existence of Refinement Mappings
– Martín Abadi, Leslie Lamport
- 1988
|
|
1221
|
An axiomatic basis for computer programming
– C. A. R. Hoare
- 1969
|
|
19
|
Towards a Compositional Approach to the Design and Verification of Distributed Systems
– Michel Charpentier, K. Mani Chandy
- 1999
|
|
1412
|
A.: The Temporal Logic of Reactive and Concurrent Systems: Safety
– Z Manna, Pnueli
- 1995
|
|
10
|
Hierarchical development of concurrent systems in a temporal logic framework
– H Barringer, R Kuiper
- 1985
|
|
55
|
Transition from Global to Modular Temporal Reasoning about Programs
– A In Pnueli
- 1985
|
|
99
|
Alternating refinement relations
– Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi
- 1998
|
