443 search results - page 20 / 89 » Relations in Concurrency |
ICALP
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We study a model of games that combines concurrency, imperfect information and stochastic aspects. Those are finite states games in which, at each round, the two players...
DFT
1997
IEEE
14 years 1 months ago
1997
IEEE
Abstract— Error control is a major concern in many computer systems, particularly those deployed in critical applications. Experience shows that most malfunctions during system o...
FMCO
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
DCOSS
2006
Springer
14 years 14 days ago
2006
Springer
Abstract. Resource constrained systems often are programmed using an eventbased model. Many applications do not lend themselves well to an event-based approach, but preemptive mult...
LMO
1996
13 years 10 months ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...