Captured: Compositional and Modular Approaches to Concurrency

Keyphrases

• Concurrency 100%
• Modular Approach 100%
• Compositional Approach 100%
• Concurrent Programs 66%
• Compositionality 66%
• Cliff 66%
• Software-based 33%
• Granularity 33%
• Software Design 33%
• Ghosts 33%
• Software Engineering 33%
• Programming Languages 33%
• Design Abstraction 33%
• Modular Specification 33%
• Development Method 33%
• Systems Engineering 33%
• Interactive Systems 33%
• Verification Approaches 33%
• Shared Variables 33%
• Specification Method 33%
• Modular Verification 33%
• Modular Method 33%
• Concurrent Software 33%
• Atomicity 33%
• Lamport 33%
• Shared State 33%
• Systems-based 33%
• Compositional Specification 33%
• Compositional Methods 33%

Computer Science

• Concurrency 100%
• Concurrent Program 66%
• Data Stream 33%
• Granularity 33%
• Programming Language 33%
• Design Abstraction 33%
• Software Design 33%
• Interactive System 33%
• concurrent software 33%
• Leslie Lamport 33%