DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Concurrency semantics
Concurrency semantics
UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models
Domain Theory for Concurrency
Four Domains for Concurrency
Contractions in Comparing Concurrency Semantics
A Lightweight Formal Method for the Prediction of Non-Functional System Properties
Correctness and Full Abstraction of Metric Semantics for Concurrency
Modular, Compositional, and Executable Formal Semantics for LLVM IR
Sense and Reference in Semantics Examples
Graph Rewriting for a Partial Ordering Semantics of Concurrent Constraint Programming*
Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies (Extended Version)?
Modular Relaxed Dependencies in Weak Memory Concurrency⋆
Concurrency Semantics in Continuation-Passing Style — The
Top View