A language for the logical specification of processes and relations

DOI10.1007/3-540-61735-3_10MaRDI QIDQ2956719zbMATH OpenOpenAlexFDO

Authors Luís Caires

Publication date 19 January 2017

Published in Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61735-3_10

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1761892
• A specification logic for concurrent object-oriented programming
• scientific article; zbMATH DE number 1361538
• Relating state-based and process-based concurrency through linear logic
• Relating state-based and process-based concurrency through linear logic (full-version)

Cited in

(3)

• Relating state-based and process-based concurrency through linear logic (full-version)
• Model checking linear logic specifications
• A logical process calculus

This page was built for publication: A language for the logical specification of processes and relations

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