23 search results - page 3 / 5 » Equational Reasoning About Nondeterministic Processes |
FUIN
2010
13 years 5 months ago
2010
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
SIGSOFT
2004
ACM
14 years 8 months ago
2004
ACM
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
The process of planning in complex, multi-actor environment depends strongly on the ability of the individual actors to perform intelligent decommitment upon specific changes in ...
LICS
2002
IEEE
14 years 23 days ago
2002
IEEE
This paper is about combining nondeterminism and probabilities. We study this phenomenon from a domain theoretic point of view. In domain theory, nondeterminism is modeled using t...
MFCS
1994
Springer
13 years 12 months ago
1994
Springer
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...