Publication:4370350
From MaRDI portal
zbMath0891.03009MaRDI QIDQ4370350
Publication date: 28 June 1998
\(\lambda\)-calculus; type system; \(\pi\)-calculus; Hennessy-Milner logic; \(\pi^ \star\)-calculus; blue calculus
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
03B70: Logic in computer science
03B40: Combinatory logic and lambda calculus
Related Items
Types for access control, The name discipline of uniform receptiveness, A type system for lock-free processes