scientific article

zbMath1272.68246MaRDI QIDQ2851706

Pablo Garralda, Adriana Compagnoni

Publication date: 2 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106000879

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Role-based access control for boxed ambients ⋮ Objects and session types

This page was built for publication: