Fingerprint
Dive into the research topics of 'Proof search specifications of bisimulation and modal logics for the π-calculus'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Proof search specifications of bisimulation and modal logics for the π-calculus
Alwen Tiu*, Dale Miller
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review
34
Citations
(Scopus)