A logical view of composition

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

Martín Abadi, Gordon D. Plotkin

Publication date: 13 January 1994

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

zbMATH Keywords

compositionality; linear logic; intuitionistic logic; concurrent programming; safety properties; modular specification

Mathematics Subject Classification ID

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

Related Items

Autonomous posets and quantales, Assumption/guarantee specifications in linear-time temporal logic, On using temporal logic for refinement and compositional verification of concurrent systems, Conjunction on processes: Full abstraction via ready-tree semantics, Ready simulation for concurrency: it's logical!, An explanatory presentation of composition rules for assumption- commitment specifications, Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency, On hierarchically developing reactive systems, AUTOMATED COMPOSITIONAL REASONING OF INTUITIONISTICALLY CLOSED REGULAR PROPERTIES, Safe Reasoning with Logic LTS, Automated Compositional Reasoning of Intuitionistically Closed Regular Properties

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