Processes, Terms and Cycles: Steps on the Road to Infinity

DOI10.1007/11601548zbMath1171.68566OpenAlexW2234185834MaRDI QIDQ5898165

Elio Giovannetti, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Mario Coppo, Rosario Pugliese

Publication date: 13 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11601548

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Access control in mobile ambient calculi: a comparative view ⋮ Security types for dynamic web data ⋮ Security Types for Dynamic Web Data

This page was built for publication: Processes, Terms and Cycles: Steps on the Road to Infinity