Publication:4673434
From MaRDI portal
zbMath1094.68060MaRDI QIDQ4673434
Mariangiola Dezani-Ciancaglini, Mario Coppo, Rosario Pugliese, Elio Giovannetti
Publication date: 29 April 2005
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
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, Dynamic management of capabilities in a network aware coordination language, A typed encoding of boxed into safe ambients