2227 search results - page 199 / 446 » Reversibility and Models for Concurrency |
184
click to vote
WOTUG
2008
15 years 8 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
164
click to vote
DEDS
1998
15 years 6 months ago
1998
In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety speci cations. CHMs are a fairly general class of hybrid systems modeled in modular fashi...
225
click to vote
TON
2002
15 years 6 months ago
2002
Abstract--The capacity of ad hoc wireless networks is constrained by the mutual interference of concurrent transmissions between nodes. We study a model of an ad hoc network where ...
144
click to vote
FSKD
2007
Springer
16 years 24 days ago
2007
Springer
According to the practical need for uncertain time modeling and analysis in WfMSs, based on possibility theory, the paper firstly introduces fuzzy time and puts forward the concep...
185
click to vote
QEST
2005
IEEE
16 years 6 days ago
2005
IEEE
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee...