scientific article; zbMATH DE number 1956508
From MaRDI portal
Publication:4417854
zbMath1029.68039MaRDI QIDQ4417854
Martin Berger, Nobuko Yoshida, Kohei Honda
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2620/26200103.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Strong normalisation in the \(\pi\)-calculus ⋮ Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) ⋮ Observed Communication Semantics for Classical Processes ⋮ Linear logical relations and observational equivalences for session-based concurrency ⋮ Full abstraction for polymorphic \(\pi \)-calculus ⋮ Unnamed Item ⋮ An exact correspondence between a typed pi-calculus and polarised proof-nets ⋮ Ensuring termination by typability ⋮ Linearity and bisimulation ⋮ Genericity and the \(\pi\)-calculus