Pages that link to "Item:Q4316304"
From MaRDI portal
The following pages link to Modal Logic, Transition Systems and Processes (Q4316304):
Displayed 5 items.
- Reasoning about nondeterministic and concurrent actions: A process algebra approach (Q1277769) (← links)
- Bisimilar and logically equivalent programs in PDL with parallel operator (Q2358700) (← links)
- Algebra of timed frames (Q2710790) (← links)
- Tableaux and algorithms for Propositional Dynamic Logic with Converse (Q4647551) (← links)
- THE ∀∃ THEORY OF PEANO Σ<sub>1</sub> SENTENCES (Q5305060) (← links)