Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Bisimulation for communicating piecewise deterministic markov processes (CPDPs) | 10 | 0.91 | 2005 |
| A composition operator for systems with active and passive actions | 1 | 0.35 | 2005 |
| Communicating Piecewise Deterministic Markov Processes | 11 | 1.27 | 2003 |
| Control of Hybrid Behavioral Automata by Interconnection. | 0 | 0.34 | 2003 |