4604 search results - page 104 / 921 » Concurrency in Synchronous Systems |
124
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
123
Voted
MFCS
2005
Springer
15 years 9 months ago
2005
Springer
We compare the expressive power of two automata-based finite-state models of concurrency. We show that Droste’s and Kuske’s coherent stably concurrent automata and Bednarczyk...
142
Voted
ENTCS
2007
15 years 3 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
146
Voted
ACSD
2006
IEEE
15 years 9 months ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
110
Voted
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Complexity in concurrent or distributed systems can be managed by dividing component into smaller components. However, such transformations change the coordination behaviour betwe...