Trustworthy Global Computing

DOI10.1007/11580850zbMath1151.68347OpenAlexW2972035647MaRDI QIDQ5394806

Mariangiola Dezani-Ciancaglini, Alexander Ahern, Sophia Drossopoulou, Nobuko Yoshida

Publication date: 1 November 2006

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

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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Distributed systems (68M14)

Related Items (7)

Type checking a multithreaded functional language with session types ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Formalising Java RMI with explicit code mobility ⋮ Asynchronous Session Types and Progress for Object Oriented Languages ⋮ Objects and session types ⋮ Subtyping for session types in the pi calculus ⋮ Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness

This page was built for publication: Trustworthy Global Computing