Cited in
(28)- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity
- Mechanized metatheory revisited
- SIGREF
- BISIMULATOR
- M-TREE
- YAPA
- MWB
- FAST
- APNN-Toolbox
- Bedwyr
- scyther
- TVT
- fc2tools
- Concurrency Workbench
- AUSPICE-R
- Eliom
- Akkaprof
- BPGen
- Mec 5
- Akiss
- Apte
- VERSA
- Gopherlyzer
- mCRL
- Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21--23, 2016. Proceedings
- A reduced semantics for deciding trace equivalence
- scientific article; zbMATH DE number 7379295 (Why is no real title available?)
- scientific article; zbMATH DE number 7407774 (Why is no real title available?)
This page was built for software: SPEC
