A logical view of composition
From MaRDI portal
Publication:685416
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
compositionalitylinear logicintuitionistic logicconcurrent programmingsafety propertiesmodular specification
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