| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems | 978-1-85233-895-4 (1-85233-895-4) | 2005 | Howard Bowman |
Marte Rodolfo Gómez Segura · Rodolfo Giungi · Rodolfo Martin Gomez Castellanos · Rodolfo Vidal Gómez Alcalá