2148 search results - page 48 / 430 » Responsiveness in Process Calculi |
CONCUR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...
TGC
2007
Springer
15 years 5 months ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
106
click to vote
ICLP
2003
Springer
15 years 5 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
138
click to vote
FORTE
2009
14 years 9 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
DATE
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper, we investigate the impact of interconnect and device process variations on voltage fluctuations in power grids. We consider random variations in the power grid’s...