The following pages link to A Rule Format for Associativity (Q3541037):
Displaying 9 items.
- Rule formats for determinism and idempotence (Q433348) (← links)
- Repairing time-determinism in the process algebra for hybrid systems (Q442292) (← links)
- SOS rule formats for zero and unit elements (Q549170) (← links)
- Event algebra for transition systems composition application to timed automata (Q1656550) (← links)
- Rule formats for distributivity (Q1758150) (← links)
- SOS rule formats for idempotent terms and idempotent unary operators (Q2436519) (← links)
- A Timed Process Algebra for Wireless Networks with an Application in Routing (Q2802472) (← links)
- Proving the validity of equations in GSOS languages using rule-matching bisimilarity (Q2883120) (← links)
- On Rule Formats for Zero and Unit Elements (Q3178250) (← links)
