Programming Languages and Systems
From MaRDI portal
Publication:5308697
DOI10.1007/b96702zbMath1126.68504MaRDI QIDQ5308697
Cédric Lhoussaine, Vladimiro Sassone
Publication date: 28 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b96702
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Typed context awareness ambient calculus for pervasive applications, Access control in mobile ambient calculi: a comparative view, From flow logic to static type systems for coordination languages, Flow-sensitive type systems and the ambient calculus