scientific article; zbMATH DE number 1104446
From MaRDI portal
Publication:4370350
zbMath0891.03009MaRDI QIDQ4370350
Publication date: 28 June 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
\(\lambda\)-calculustype system\(\pi\)-calculusHennessy-Milner logic\(\pi^ \star\)-calculusblue calculus
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)
Related Items
An algebra of behavioural types ⋮ The name discipline of uniform receptiveness ⋮ A type system for lock-free processes ⋮ Typed behavioural equivalences for processes in the presence of subtyping ⋮ Types for access control