182 search results - page 26 / 37 » Deterministic Behavioural Models for Concurrency |
TACAS
2000
Springer
13 years 11 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
CORR
2002
Springer
13 years 7 months ago
2002
Springer
This paper studies the problem of modeling complex domains of actions and change within highlevel action description languages. We investigate two main issues of concern: (a) can ...
ATAL
2000
Springer
14 years 5 days ago
2000
Springer
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...
ENTCS
2010
13 years 7 months ago
2010
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...
ENTCS
2006
13 years 7 months ago
2006
Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in componentbased systems, we ...