scientific article; zbMATH DE number 1231524
From MaRDI portal
Publication:4222839
zbMath0908.03049MaRDI QIDQ4222839
Catuscia Palamidessi, Raymond McDowell, Dale A. Miller
Publication date: 14 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#miller
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
transition systemsextension of linear logicmeta-level judgmentsoperational semantics of process calculi
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cut-elimination and normal-form theorems (03F05)
Related Items (2)
A case study in programming coinductive proofs: Howe’s method ⋮ Cut-elimination for a logic with definitions and induction
This page was built for publication:
