Roberto Amadio

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009

2 EE Roberto Amadio: On stratified regions CoRR abs/0904.2076: (2009)

2008

1 EE Roberto Amadio: On convergence-sensitive bisimulation and the embedding of CCS in timed CCS CoRR abs/0806.0936: (2008)

2009
2	EE	Roberto Amadio: On stratified regions CoRR abs/0904.2076: (2009)
2008
1	EE	Roberto Amadio: On convergence-sensitive bisimulation and the embedding of CCS in timed CCS CoRR abs/0806.0936: (2008)