Latest

• Proving Correctness of Parallel Implementations of Transition System Models
• Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
• Active Objects with Deterministic Behavior
• SymPaths: Symbolic Execution Meets Partial Order Reduction
• A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches
• Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
• Parallel Cost Analysis
• Deployment by Construction for Multicore Architectures
• A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches
• Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
• A formal model of cloud-deployed software and its application to workflow processing
• Modeling Deployment Decisions for Elastic Services with ABS
• UpScale: From Inherent Concurrency to Massive Parallelism through Type-based Optimizations
• Meeting Deadlines, Elastically.
• An Operational Semantics of Cache Coherent Multicore Architectures
• A Maude Framework for Cache Coherent Multicore Architectures
• Time Complexity of Concurrent Programs - A Technique Based on Behavioural Types
• Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore