2009 | ||
---|---|---|
2 | EE | Julian Gutiérrez: Logics and Bisimulation Games for Concurrency, Causality and Conflict. FOSSACS 2009: 48-62 |
2007 | ||
1 | EE | Julian Gutiérrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia: Timed Concurrent Constraint Programming for Analysing Biological Systems. Electr. Notes Theor. Comput. Sci. 171(2): 117-137 (2007) |
1 | Jorge A. Pérez (Jorge Andrés Pérez) | [1] |
2 | Camilo Rueda | [1] |
3 | Frank D. Valencia (Frank Valencia) | [1] |