Checking marking reachability with the state equation in Petri net subclasses
Thomas Hujsa, Bernard Berthomieu, Silvano Dal Zilio, Didier Le Botlan preprint, jun 2020.
Concurrency
On the Petri Nets with a Single Shared Place and Beyond
Thomas Hujsa, Bernard Berthomieu, Silvano Dal Zilio, Didier Le Botlan preprint, may 2020.
TraLaLa
·473 words
Nov 2004 — Feb 2008.
TraLaLA, XML Transformation Languages: logic and applications, is a project funded by ACI MASSES DE DONNÉES.
The objectives of the project is to study the processing, querying and manipulation of data-masses (large amounts of data) available in XML format.
A Typed Calculus for Querying Distributed XML Documents
Lucia Acciai, Michele Boreale, Silvano Dal Zilio In TGC 2006 — 2nd symposium on Trustworthy Global Computing, jan 2007.
A Typed Calculus for Querying Distributed XML Documents
Lucia Acciai, Michele Boreale, Silvano Dal Zilio In NWPT 2005 — 17th Nordic Workshop on Programming Theory, oct 2005.
On the Dynamics of PB Systems: A Petri Net View
Silvano Dal Zilio, Enrico Formenti In WMC 2003 — Workshop on Membrane Computing, jan 2004.
Model Checking Mobile Ambients
Witold Charatonik, Silvano Dal Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot Theoretical Computer Science 308(1):277—331, nov 2003.
Region analysis and a pi-calculus with groups
Silvano Dal Zilio, Andrew D. Gordon Journal of Functional Programming 12(3):229—292, may 2002.
Fixed Points in the Ambient Logic
Silvano Dal Zilio In FICS 2001 — 3rd Workshop on Fixed Points in Computer Science, sep 2001.
Mobile Processes: a Commented Bibliography
Silvano Dal Zilio In MOVEP'2K — 4th Summer school on Modelling and Verification of Parallel processes, jun 2001.