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