Navegar

Colección

Datos Estadísticas

Lista de

12th International Conference on Concurrency Theory, CONCUR 2001
1
2001
1
"Synchronized hyperedge replacement with name mobility: A graphical calculus for mobile systems" (2001) Hirsch, D.; Montanari, U.; Nielsen M.; Larsen K.G. 12th International Conference on Concurrency Theory, CONCUR 2001. 2154:121-136