The following pages link to (Q3812210):
Displaying 20 items.
- On using temporal logic for refinement and compositional verification of concurrent systems (Q674008) (← links)
- A brief history of Timed CSP (Q674191) (← links)
- Encapsulating deontic and branching time specifications (Q714879) (← links)
- Deontic action logic, atomic Boolean algebras and fault-tolerance (Q846527) (← links)
- Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems (Q916414) (← links)
- Control machines: A new model of parallelism for compositional specifications and their effective compilation (Q1177148) (← links)
- Temporal theories as modularisation units for concurrent system specification (Q1192604) (← links)
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs (Q2251128) (← links)
- Using temporal logics of knowledge for specification and verification -- a case study (Q2494726) (← links)
- Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking (Q3088034) (← links)
- An Extended Temporal Logic for CSCW (Q3148233) (← links)
- Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic (Q3321430) (← links)
- (Q3795200) (← links)
- (Q3818306) (← links)
- (Q3972532) (← links)
- (Q4534707) (← links)
- (Q4733381) (← links)
- (Q5151002) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712362) (← links)
- Application of temporal logic to program specification (Q5930938) (← links)