Publication:4438104
From MaRDI portal
zbMath1032.03031MaRDI QIDQ4438104
Christian Jacques Rentería, Edward Hermann Haeusler
Publication date: 9 December 2003
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03F05: Cut-elimination and normal-form theorems
Related Items