System Specification and Refinement in Temporal Logic (1995)

Cached

Download Links

by Amir Pnueli
Venue:Proceedings of Foundations of Software Technology and Theoretical Computer Science, volume 652 of LNCS
Citations:16 - 0 self

Documents Related by Co-Citation

818 The Temporal Logic of Actions – Leslie Lamport - 1993
1497 The Temporal Logic of Reactive and Concurrent Systems – Z Manna, A Pnueli - 1992
70 Now you may compose temporal logic specifications – H Barringer, R Kuiper, A Pnueli - 1984
540 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
26 The Use of Temporal Logic in the Compositional Specification of Concurrent Systems – H Barringer - 1987
41 Pnuelli ; Verification of Concurrent Programs: The temporal proof principles – Zohar Manna, Amir - 1983
118 A Simple Approach to Specifying Concurrent Systems – Leslie Lamport - 1988
39 The "Hoare Logic" of concurrent programs – L Lamport - 1980
446 The Existence of Refinement Mappings – Martín Abadi, Leslie Lamport - 1988
1441 Object-oriented Software Construction – Bertrand Meyer - 2004
195 Specifying concurrent program modules – L Lamport - 1983
1204 The temporal logic of programs – A Pnueli - 1977
4 Formal development and validation of java dependable distributed systems – A Romanovsky G Di Marzo Serugendo, N Guelfi, A F Zorzo - 1999
4 Marzo Serugendo. Stepwise Refinement of Formal Specifications Based on Logical Formulae: from CO-OPN/2 Specifications to Java Programs – G di - 1999
11 CO-OPN/2: A Concurrent Object-Oriented Formalism – O. Biberstein, D. Buchs, N. Guelfi - 1997
36 Formal Object-oriented Development – K Lano - 1995
32 Proving properties of real-time systems through logical specifications and Petri Net models – Miguel Felder, Dino Mandrioli, Angelo Morzenti - 1994
223 Algebraic Specification – M Wirsing - 1990
2 The anchored version of teh temporal framework – Z Manna, A Pnueli - 1981