Browsing byAuthorGorla, D
Showing results 1 to 3 of 3
Issue Date | Title | Author(s) |
---|---|---|
2010-01-01 | Concurrent Pattern Calculus | Given-Wilson, T; Gorla, D; Jay, B; Calude, CS; Sassone, V |
2014-08-22 | A concurrent pattern calculus | Given-Wilson, T; Gorla, D; Jay, B |
2014 | (Un)decidable Problems about Reachability of Quantum Systems. | Li, Y; Ying, M; Baldan, P; Gorla, D |