scientific article
From MaRDI portal
Publication:2769442
zbMath0978.68045MaRDI QIDQ2769442
Christine Röckl, Stefan Berghofer, Daniel Hirschkoff
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2030/20300364
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
Mechanizing type environments in weak HOAS, Proof-relevant π-calculus: a constructive account of concurrency and causality, Mechanized metatheory revisited, A First-Order Syntax for the π-Calculus in Isabelle/HOL using Permutations, Developing (Meta)Theory of λ-calculus in the Theory of Contexts1 1Work partially supported by Italian MURST project tosca and EC-WG types., Encoding Generic Judgments, The Theory of Contexts for First Order and Higher Order Abstract Syntax, A Coq Library for Verification of Concurrent Programs, Specifying Properties of Concurrent Computations in CLF, Two case studies of semantics execution in Maude: CCS and LOTOS
Uses Software
