The following pages link to (Q3746875):
Displayed 28 items.
- A probabilistic dynamic logic (Q792757) (← links)
- Event fairness and non-interleaving concurrency (Q911318) (← links)
- On the interpretability of arithmetic in temporal logic (Q915718) (← links)
- Safety and liveness from a methodological point of view (Q916351) (← links)
- Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems (Q916414) (← links)
- A multiprocess network logic with temporal and spatial modalities (Q1058846) (← links)
- Specification and verification of database dynamics (Q1092680) (← links)
- Fairness and the axioms of control predicates (Q1104729) (← links)
- Resolution-based approach to compatibility analysis of interacting automata (Q1127549) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- A theory of implementation and refinement in timed Petri nets (Q1128980) (← links)
- Functional specification and proof of correctness for time dependent behaviour of reactive systems (Q1176111) (← links)
- Completing the temporal picture (Q1176248) (← links)
- Operational specification with joint actions: Serializable databases (Q1193603) (← links)
- Defining conditional independence using collapses (Q1194331) (← links)
- Sooner is safer than later (Q1199553) (← links)
- Verification of distributed programs using representative interleaving sequences (Q1200917) (← links)
- A theory of timed automata (Q1322162) (← links)
- Property preserving abstractions for the verification of concurrent systems (Q1346649) (← links)
- A temporal logic-based approach for the description of object behavior evolution (Q1353949) (← links)
- A first step towards implementing dynamic algebraic dependences (Q1389443) (← links)
- Decidable fragments of first-order temporal logics (Q1591203) (← links)
- Priority as extremal probability (Q1816921) (← links)
- Testing preorders for probabilistic processes. (Q1854314) (← links)
- On agent-based software engineering (Q1978654) (← links)
- An axiomatization of PCTL* (Q2566222) (← links)
- An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets (Q3612361) (← links)
- Decidability and incompleteness results for first-order temporal logics of linear time (Q4275689) (← links)