MMC
From MaRDI portal
Cited in
(9)- MWB
- A semantic framework for open processes
- A static analysis of cryptographic processes: the denotational approach
- An epistemic predicate \(\mathrm{CTL}^{*}\) for finite control \(\pi\)-processes
- Infinite computation, co-induction and computational logic
- A logical encoding of timed \(\pi\)-calculus
- scientific article; zbMATH DE number 7453965 (Why is no real title available?)
- Deducing Interactions in Partially Unspecified Biological Systems
- A process calculus for mobile ad hoc networks
This page was built for software: MMC
