Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)
From MaRDI portal
Publication:3541713
DOI10.1007/978-3-540-71070-7_28zbMath1165.68413OpenAlexW1516314631MaRDI QIDQ3541713
Anders Schack-Nielsen, Carsten Schuermann
Publication date: 27 November 2008
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71070-7_28
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of software (68N99)
Related Items
Towards substructural property-based testing ⋮ Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda ⋮ Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus ⋮ Plugging-in proof development environments usingLocksinLF ⋮ Celf
Uses Software
Cites Work