The following pages link to (Q4733399):
Displaying 28 items.
- Modal logics for communicating systems (Q578896) (← links)
- A hierarchy of temporal logics with past (Q672329) (← links)
- On using temporal logic for refinement and compositional verification of concurrent systems (Q674008) (← links)
- On the strength of temporal proofs (Q809066) (← links)
- Deontic action logic, atomic Boolean algebras and fault-tolerance (Q846527) (← links)
- Automated analysis of mutual exclusion algorithms using CCS (Q911263) (← links)
- Automatic verification of distributed systems: the process algebra approach. (Q960505) (← links)
- Simulation, reduction and preservation of correctness properties of parallel systems (Q1054477) (← links)
- Specification and verification of decentralized daisy chain arbiters with \(\omega\)-extended regular expressions (Q1079373) (← links)
- Completing the temporal picture (Q1176248) (← links)
- Local model checking for infinite state spaces (Q1190489) (← links)
- On undecidability of propositional temporal logics on trace systems (Q1199555) (← links)
- Reasoning about nondeterministic and concurrent actions: A process algebra approach (Q1277769) (← links)
- Proving partial order properties (Q1322161) (← links)
- Logics and decidability for labelled pre- and partially ordered Kripke structures (Q1328764) (← links)
- A compositional framework for fault tolerance by specification transformation (Q1330423) (← links)
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
- A computer scientist looks at game theory. (Q1413213) (← links)
- Verification of reactive systems using temporal logic with clocks (Q1575841) (← links)
- Testing preorders for probabilistic processes can be characterized by simulations (Q1603706) (← links)
- Model checking properties on reduced trace systems (Q1736621) (← links)
- Specification in CTL + past for verification in CTL. (Q1854327) (← links)
- Temporal logic and categories of Petri nets (Q4630293) (← links)
- Reasoning about programs by exploiting the environment (Q4632437) (← links)
- Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations (Q4982115) (← links)
- Application of the composition principle to unity-like specifications (Q5044739) (← links)
- Axioms for real-time logics (Q5958467) (← links)
- Towards better heuristics for solving bounded model checking problems (Q6080505) (← links)