The following pages link to SPEC (Q32424):
Displaying 6 items.
- Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21--23, 2016. Proceedings (Q323774) (← links)
- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity (Q2119978) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- (Q5009710) (← links)
- (Q5155663) (← links)
- (Q5270090) (← links)
