Pages that link to "Item:Q1391792"
From MaRDI portal
The following pages link to Process algebra with propositional signals (Q1391792):
Displaying 11 items.
- Kleene's three-valued logic and process algebra (Q293327) (← links)
- Repairing time-determinism in the process algebra for hybrid systems (Q442292) (← links)
- SOS rule formats for zero and unit elements (Q549170) (← links)
- Fixing Zeno gaps (Q549197) (← links)
- A semantics for behavior trees using CSP with specification commands (Q549693) (← links)
- Structural operational semantics through context-dependent behaviour (Q638568) (← links)
- Duplication of constants in process algebra (Q864505) (← links)
- Preferential choice and coordination conditions (Q864506) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- A Generic Process Algebra (Q5262952) (← links)
- Pushdown Automata and Context-Free Grammars in Bisimulation Semantics (Q5883743) (← links)
