16 search results - page 4 / 4 » Electoral Systems in Ambient Calculi |
CORR
2010
Springer
13 years 11 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...