3239 search results - page 222 / 648 » A Logical Process Calculus |
138
click to vote
ENTCS
2002
15 years 4 months ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
98
Voted
SYNTHESE
2010
15 years 3 months ago
2010
In this paper I suggest an answer to the question of what Frege means when he says that his logical system, the Begriffsschrift, is like the language Leibniz sketched, a lingua ch...
155
click to vote
SEFM
2009
IEEE
15 years 11 months ago
2009
IEEE
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
165
click to vote
PACT
2007
Springer
15 years 11 months ago
2007
Springer
We consider BioAmbients, a calculus for specifying biological entities and for simulating and analysing their behaviour. We extend BioAmbients to take quantitative information into...
123
click to vote
ACSD
2005
IEEE
15 years 10 months ago
2005
IEEE
BoPi is a programming language with a runtime support that allows the distribution and the execution of programs over the network. The language is a process calculus with XML valu...