The following pages link to (Q4733381):
Displaying 19 items.
- On using temporal logic for refinement and compositional verification of concurrent systems (Q674008) (← 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)
- Compositionality and bisimulation: A negative result (Q1182130) (← links)
- Temporal theories as modularisation units for concurrent system specification (Q1192604) (← links)
- \(\infty\)-regular temporal logic and its model checking problem (Q1199535) (← links)
- Composing and refining dense temporal logic specifications (Q1586168) (← links)
- A temporal programming model with atomic blocks based on projection temporal logic (Q1633057) (← links)
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs (Q2251128) (← links)
- Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking (Q3088034) (← links)
- (Q3795200) (← links)
- (Q3812210) (← links)
- (Q3818306) (← links)
- (Q3972532) (← links)
- (Q4534707) (← links)
- A Branching Time Logical System for Open Distributed Systems Development (Q4916209) (← links)
- (Q5151002) (← links)
- Similarity saturation for first order linear temporal logic with UNLESS (Q5236443) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712362) (← links)