Search

Silvano DAL ZILIO

Silvano DAL ZILIO

Home
Publications
Projects
Courses
Posts
Software
Contact

Light Dark Automatic

Andrew D. Gordon

Latest

Model Checking Mobile Ambients
Region analysis and a pi-calculus with groups
The Complexity of Model Checking Mobile Ambients
Region analysis and a pi-calculus with groups

© 2022 Silvano DAL ZILIO

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite