37 search results - page 1 / 8 » A General Framework for Nondeterministic, Probabilistic, and... |
IFIP
2009
Springer
13 years 11 months ago
2009
Springer
TGC
2010
Springer
13 years 2 months ago
2010
Springer
Rate transition systems (RTS) are a special kind of transition systems introduced for defining the stochastic behavior of processes and for associating continuous-time Markov chain...
CONCUR
2008
Springer
13 years 6 months ago
2008
Springer
We consider nondeterministic and probabilistic termination problems in a process algebra that is equivalent to basic chemistry. We show that the existence of a terminating computat...
FSTTCS
2010
Springer
13 years 2 months ago
2010
Springer
a is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behav...
FMOODS
2003
13 years 6 months ago
2003
Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The minism provides an abstraction over scheduling, net...