Typing evolving ambients
From MaRDI portal
Publication:1607130
DOI10.1016/S0020-0190(01)00172-7zbMath1003.68093MaRDI QIDQ1607130
Jinyuan You, Xudong Guan, Yiling Yang
Publication date: 25 July 2002
Published in: Information Processing Letters (Search for Journal in Brave)
68N15: Theory of programming languages
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Applying a testing approach to the Calculus of Fair Ambients, Fair ambients, Flow-sensitive type systems and the ambient calculus, Orderly communication in the ambient calculus., On abstract interpretation of mobile ambients, A typed encoding of boxed into safe ambients, Unnamed Item
Cites Work