Pages that link to "Item:Q1391792"
From MaRDI portal
The following pages link to Process algebra with propositional signals (Q1391792):
Displaying 22 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)
- Process algebra with propositional signals (Q1391792) (← links)
- Process algebra and conditional composition (Q1607116) (← links)
- Hybrid process algebra (Q1763160) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- Continuity controlled hybrid automata (Q2368692) (← links)
- Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
- Splitting bisimulations and retrospective conditions (Q2500474) (← links)
- A ground-complete axiomatisation of finite-state processes in a generic process algebra (Q3545273) (← links)
- Contradiction-Tolerant Process Algebra with Propositional Signals (Q4599814) (← links)
- Using Hoare Logic in a Process Algebra Setting (Q5164860) (← links)
- A Generic Process Algebra (Q5262952) (← links)
- Pushdown Automata and Context-Free Grammars in Bisimulation Semantics (Q5883743) (← links)
- Real time process algebra with time-dependent conditions (Q5946026) (← links)
