scientific article; zbMATH DE number 2086520
From MaRDI portal
Publication:4737001
zbMath1057.68640MaRDI QIDQ4737001
Mariangiola Dezani-Ciancaglini, Mario Coppo
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2294/22940255.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (3)
On abstract interpretation of mobile ambients ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Flow-sensitive type systems and the ambient calculus
This page was built for publication:
