![]() | ![]() |
| 2010 | ||
|---|---|---|
| 4 | Christian Eisentraut, Holger Hermanns, Lijun Zhang: Concurrency and Composition in a Stochastic World. CONCUR 2010: 21-39 | |
| 3 | Christian Eisentraut, Holger Hermanns, Lijun Zhang: On Probabilistic Automata in Continuous Time. LICS 2010: 342-351 | |
| 2008 | ||
| 2 | Christian Eisentraut, David Spieler: Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative Analysis. WS-FM 2008: 107-126 | |
| 1 | Christian Eisentraut, Holger Hermanns: Teaching Concurrency Concepts to Freshmen. T. Petri Nets and Other Models of Concurrency 1: 35-53 (2008) | |
| 1 | Holger Hermanns | [1] [3] [4] |
| 2 | David Spieler | [2] |
| 3 | Lijun Zhang | [3] [4] |
Data released under the ODC-BY 1.0 license — See also our legal information page