655 search results - page 20 / 131 » Coinduction in Concurrent Timed Systems |
ICLP
2010
Springer
14 years 1 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
AB
2007
Springer
14 years 4 months ago
2007
Springer
We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic π-calculus. It supports higher level modeling via multi-profile con...
ENTCS
2007
13 years 9 months ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
LFP
1994
13 years 11 months ago
1994
We have implemented a concurrent copying garbage collector that uses replicatinggarbage collection. In our design, the client can continuously access the heap during garbage colle...
ICFP
2004
ACM
14 years 9 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...