11 search results - page 3 / 3 » Logics for Approximate Entailment in ordered universes of di... |
LICS
2006
IEEE
13 years 11 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...