Pages that link to "Item:Q1607116"
From MaRDI portal
The following pages link to Process algebra and conditional composition (Q1607116):
Displaying 14 items.
- Safe reasoning with logic LTS (Q549200) (← links)
- Preferential choice and coordination conditions (Q864506) (← links)
- A generalization of ACP using Belnap's logic (Q864509) (← links)
- Process algebra with propositional signals (Q1391792) (← links)
- Process algebra with action dependencies (Q1608931) (← links)
- Combining programs and state machines (Q1858434) (← links)
- Belnap's logic and conditional composition (Q2464948) (← links)
- Splitting bisimulations and retrospective conditions (Q2500474) (← links)
- (Q3125177) (← links)
- A Strongly Complete Formalisation of a 5-Valued Propositional Calculus (Q3770501) (← links)
- (Q3776606) (← links)
- Contradiction-Tolerant Process Algebra with Propositional Signals (Q4599814) (← links)
- A Generalization of ACP Using Belnap's Logic (Q5262974) (← links)
- Bochvar-McCarthy logic and process algebra (Q5937831) (← links)