The following pages link to MMC (Q25790):
Displaying 8 items.
- A process calculus for mobile ad hoc networks (Q967528) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- A static analysis of cryptographic processes: the denotational approach (Q2484412) (← links)
- An epistemic predicate \(\mathrm{CTL}^{*}\) for finite control \(\pi\)-processes (Q2825420) (← links)
- Infinite Computation, Co-induction and Computational Logic (Q3090859) (← links)
- A Logical Encoding of Timed $$\pi $$-Calculus (Q3453652) (← links)
- (Q5020947) (← links)
- Deducing Interactions in Partially Unspecified Biological Systems (Q5429371) (← links)