MMC
From MaRDI portal
Software:25790
swMATH13879MaRDI QIDQ25790FDOQ25790
Author name not available (Why is that?)
Cited In (8)
- Deducing Interactions in Partially Unspecified Biological Systems
- A semantic framework for open processes
- A process calculus for mobile ad hoc networks
- A static analysis of cryptographic processes: the denotational approach
- Title not available (Why is that?)
- An epistemic predicate \(\mathrm{CTL}^{*}\) for finite control \(\pi\)-processes
- A Logical Encoding of Timed $$\pi $$-Calculus
- Infinite Computation, Co-induction and Computational Logic
This page was built for software: MMC
