Pages that link to "Item:Q3704887"
From MaRDI portal
The following pages link to The power of the future perfect in program logics (Q3704887):
Displaying 11 items.
- Modal logics for communicating systems (Q578896) (← links)
- Translations between modal logics of reactive systems (Q674003) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Interpreting one concurrent calculus in another (Q915484) (← links)
- Characterizing finite Kripke structures in propositional temporal logic (Q1123183) (← links)
- \(R\)-generability, and definability in branching time logics (Q1197983) (← links)
- Representation of decision making processes in an ecological evaluation system (Q1339187) (← links)
- An algebraic characterization of observational equivalence (Q1351804) (← links)
- Bisimulation maps in presheaf categories (Q2133160) (← links)
- Compositionality of Hennessy-Milner logic by structural operational semantics (Q2368979) (← links)
- Efficient timed model checking for discrete-time systems (Q2368994) (← links)
