432 search results - page 24 / 87 » Interaction Abstraction for Compositional Finite State Syste... |
AB
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In 1973 R. Thomas introduced a logical approach to modeling and analysis of bioregulatory networks. Given a set of Boolean functions describing the regulatory interaction...
JOT
2007
13 years 7 months ago
2007
State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events pr...
IICS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
CONCUR
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
DCOSS
2006
Springer
13 years 11 months ago
2006
Springer
In the population protocol model introduced by Angluin et al. [2], a collection of agents, which are modelled by finite state machines, move around unpredictably and have pairwise ...