8 search results - page 2 / 2 » On the Expressiveness and Decidability of Higher-Order Proce... |
134
click to vote
LICS
2006
IEEE
15 years 6 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...
CORR
2008
Springer
15 years 16 days ago
2008
Springer
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...
114
click to vote
TACS
1994
Springer
15 years 4 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...