A logical view of composition

DOI10.1016/0304-3975(93)90151-IzbMath0778.68061OpenAlexW2080942132MaRDI QIDQ685416

Gordon D. Plotkin, Martín Abadi

Publication date: 13 January 1994

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

Full work available at URL: https://doi.org/10.1016/0304-3975(93)90151-i

zbMATH Keywords

compositionalitylinear logicintuitionistic logicconcurrent programmingsafety propertiesmodular specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (15)

Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency ⋮ Theory and methodology of assumption/commitment based system interface specification and architectural contracts ⋮ Conjunction on processes: Full abstraction via ready-tree semantics ⋮ Autonomous posets and quantales ⋮ Assumption/guarantee specifications in linear-time temporal logic (extended abstract) ⋮ Retracing some paths in process algebra ⋮ On hierarchically developing reactive systems ⋮ Assumption/guarantee specifications in linear-time temporal logic ⋮ On using temporal logic for refinement and compositional verification of concurrent systems ⋮ Safe reasoning with logic LTS ⋮ Safe Reasoning with Logic LTS ⋮ Ready simulation for concurrency: it's logical! ⋮ Automated Compositional Reasoning of Intuitionistically Closed Regular Properties ⋮ AUTOMATED COMPOSITIONAL REASONING OF INTUITIONISTICALLY CLOSED REGULAR PROPERTIES ⋮ An explanatory presentation of composition rules for assumption- commitment specifications

Cites Work

• Linear logic
• Domain theory in logical form
• Testing equivalences for processes
• Quantales and (noncommutative) linear logic
• Specifying Concurrent Program Modules
• Proofs of Networks of Processes
• Quantales, observational logic and process semantics
• From Petri nets to linear logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A logical view of composition