swMATH20606MaRDI QIDQ32424FDOQ32424
Author name not available (Why is that?)
Official website: http://users.cecs.anu.edu.au/~tiu/spec/
Cited In (28)
- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity
- Mechanized metatheory revisited
- Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21--23, 2016. Proceedings
- SIGREF
- BISIMULATOR
- M-TREE
- YAPA
- MWB
- FAST
- APNN-Toolbox
- Bedwyr
- scyther
- TVT
- fc2tools
- Concurrency Workbench
- A reduced semantics for deciding trace equivalence
- AUSPICE-R
- Eliom
- Akkaprof
- BPGen
- Mec 5
- Akiss
- Apte
- VERSA
- Gopherlyzer
- mCRL
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for software: SPEC
