Concurrent programming as proof net construction

DOI10.1017/S0960129598002655MaRDI QIDQ4236204zbMATH OpenOpenAlexFDO

Authors Guy Perrier

Publication date 22 March 1999

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129598002655

zbMATH Keywords

concurrent process calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On the \(\pi\)-calculus and linear logic
• Computer Science Logic
• scientific article; zbMATH DE number 1761892
• A concurrent model for linear logic

Cited in

(21)

• Computation paths logic: An expressive, yet elementary, process logic
• On the \(\pi\)-calculus and linear logic
• Distributed concurrent linear logic programming
• Asynchronous communication model based on linear logic
• Concurrent nets: a study of prefixing in process calculi
• Concurrent nets: a study of prefixing in process calculi
• A language for multiplicative-additive linear logic
• A concurrent model for linear logic
• Specifying properties of concurrent computations in CLF
• Proofs as executions
• A Process-Model for Linear Programs
• Linear Logic as CSP
• scientific article; zbMATH DE number 2090322 (Why is no real title available?)
• scientific article; zbMATH DE number 1401961 (Why is no real title available?)
• Taking linear logic apart
• Towards races in linear logic
• Computer Science Logic
• On the \(\pi\)-calculus and co-intuitionistic logic. Notes on logic for concurrency and \(\lambda\)P systems
• scientific article; zbMATH DE number 970724 (Why is no real title available?)
• Types for Proofs and Programs
• The logic of message-passing

This page was built for publication: Concurrent programming as proof net construction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4236204)