Periodo de publicación recogido
|
|
|
Turing universality of the Biochemical Ground Form
Luca Cardelli, Gianluigi Zavattaro
Mathematical structures in computer science, ISSN 0960-1295, Vol. 20, Nº 1, 2010, págs. 45-73
Deciding reachability problems in Turing-complete fragments of Mobile Ambients
Nadia Busi, Gianluigi Zavattaro
Mathematical structures in computer science, ISSN 0960-1295, Vol. 19, Nº 6, 2009, págs. 1123-1264
On the expressive power of recursion, replication and iteration in process calculi
Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
Mathematical structures in computer science, ISSN 0960-1295, Vol. 19, Nº 6, 2009, págs. 1191-1222
Gianluigi Zavattaro
Mathematical structures in computer science, ISSN 0960-1295, Vol. 19, Nº 6, 2009, págs. 1279-1285
On the expressive power of process interruption and compensation
Mario Bravetti, Gianluigi Zavattaro
Mathematical structures in computer science, ISSN 0960-1295, Vol. 19, Nº 3, 2009, págs. 565-600
A theory of contracts for strong service compliance
Mario Bravetti, Gianluigi Zavattaro
Mathematical structures in computer science, ISSN 0960-1295, Vol. 19, Nº 3, 2009, págs. 601-638
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados