The following pages link to (Q4965863):
Displayed 5 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- ST-structures (Q338620) (← links)
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion (Q347368) (← links)
- Characterizing right inverses for spatial constraint systems with applications to modal logic (Q1786563) (← links)
- Characterising spectra of equivalences for event structures, logically (Q2672268) (← links)