The following pages link to (Q4222877):
Displaying 5 items.
- Two case studies of semantics execution in Maude: CCS and LOTOS (Q816216) (← links)
- A complete modal proof system for HAL: the Herbrand agent language (Q1311969) (← links)
- A modal logic for message passing processes (Q1894680) (← links)
- Formalising a value-passing calculus in H0L (Q1965247) (← links)
- Mechanised modal model theory (Q2096473) (← links)