Mathematical Foundations of Computer Science 2004

DOI10.1007/b99679zbMath1097.68083OpenAlexW2488008928MaRDI QIDQ5311159

Pablo Garralda, Eduardo Bonelli, Mariangiola Dezani-Ciancaglini, Adriana Compagnoni

Publication date: 22 August 2005

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

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 ⋮ Role-based access control for boxed ambients ⋮ A typed encoding of boxed into safe ambients ⋮ Amalgamating sessions and methods in object-oriented languages with generics