The following pages link to (Q4847024):
Displaying 14 items.
- Rule formats for determinism and idempotence (Q433348) (← links)
- SOS rule formats for zero and unit elements (Q549170) (← links)
- Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
- Algebraic specification of agent computation (Q814896) (← links)
- A syntactic commutativity format for SOS (Q835035) (← links)
- Duplication of constants in process algebra (Q864505) (← links)
- A generalization of ACP using Belnap's logic (Q864509) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- A conservative look at operational semantics with variable binding (Q1273877) (← links)
- Event algebra for transition systems composition application to timed automata (Q1656550) (← links)
- Notions of bisimulation and congruence formats for SOS with data (Q2486401) (← links)
- A Congruence Rule Format with Universal Quantification (Q2871833) (← links)
- A Rule Format for Associativity (Q3541037) (← links)
- Bochvar-McCarthy logic and process algebra (Q5937831) (← links)
