|
514
|
Composing Specifications
– Martín Abadi, Leslie Lamport
- 1993
|
|
30
|
Formal Methods for the Specification and Design of Real-Time Safety Critical Systems
– Jonathan S. Ostroff
- 1992
|
|
765
|
The Temporal Logic of Actions
– Leslie Lamport
- 1993
|
|
125
|
Property preserving abstractions for the verification of concurrent systems
– Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem
- 1995
|
|
1
|
Strategic Directions in Computing Research Concurrency Working Group Report
– Rance Cleaveland, Scott A. Smolka (eds.), Scott A. Smolka
- 1996
|
|
4
|
Concurrent Systems and Services: Design, Verification and Testing
– A. Udaya Shankar
- 2005
|
|
|
Formal Justification in Requirements Engineering
– Simon Robert Smith
- 1996
|
|
9
|
On the Logic of TLA+
– Stephan Merz
- 2003
|
|
|
Reasoning about Durations in Metric Temporal Logic
– Yassine Lakhneche, Jozef Hooman
|
|
50
|
The Anchored Version of the Temporal Framework
– Zohar Manna, Amir Pnueli
- 1989
|
|
11
|
Verification and Specification of Concurrent Programs
– Leslie Lamport
- 1993
|
|
4
|
Closure Under Stuttering in Temporal Formulas
– Dimitrie Octavian Paun
- 1999
|
|
67
|
Modular Event-Based Systems
– Ludger Fiege, Gero Mühl, Felix C. Gärtner
- 2006
|
|
73
|
Timed Transition Systems
– Thomas Henzinger, Zohar Manna, Amir Pnueli
- 1992
|
|
6
|
On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems
– Abdelillah Mokkedem, Dominique Méry
- 1993
|
|
114
|
A Simple Approach to Specifying Concurrent Systems
– Leslie Lamport
- 1988
|
|
|
A Dense-Time Temporal Logic with nice Compositionality Properties
– Antonio Cau, Willem-Paul de Roever
- 1997
|
|
1
|
Composing and Refining Dense Temporal Logic Specifications
– Antonio Cau
- 1999
|
|
17
|
Specification and Verification of Fault-tolerance, Timing and Scheduling
– Zhiming Liu, Mathai Joseph
- 1999
|
