Specifying Properties of Concurrent Computations in CLF

DOI10.1016/j.entcs.2007.11.013zbMath1278.03069OpenAlexW2118371092MaRDI QIDQ2871839

No author found.

Publication date: 10 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.11.013

zbMATH Keywords

linear logicconcurrencytype theorylogical frameworks

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Proof-relevant π-calculus: a constructive account of concurrency and causality ⋮ CLF

Uses Software

• Isabelle/HOL

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• Notions of computation and monads
• Typing correspondence assertions for communication protocols
• A linear logical framework
• \(\pi\)-calculus in (Co)inductive-type theory
• A judgmental reconstruction of modal logic
• Logic Programming with Focusing Proofs in Linear Logic
• A framework for defining logics
• A relevant analysis of natural deduction
• A proof theory for generic judgments
• Types for Proofs and Programs

This page was built for publication: Specifying Properties of Concurrent Computations in CLF