Pages that link to "Item:Q1923100"

The following pages link to Full abstraction for a shared-variable parallel language (Q1923100):

Displaying 33 items.

• On grainless footprint semantics for shared-memory programs (Q283741) (← links)
• Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
• Sharing ghost variables in a collection of abstract domains (Q784125) (← links)
• A denotational semantics for shared-memory parallelism and nondeterminism (Q792754) (← links)
• A semantics for concurrent separation logic (Q879367) (← links)
• Refining multiset transformers (Q1127515) (← links)
• Semantics for data parallel computation (Q1186098) (← links)
• The semantics of the combination of atomized statements and parallel choice (Q1267037) (← links)
• Fully abstract denotational models for nonuniform concurrent languages (Q1341758) (← links)
• The Rely-Guarantee method for verifying shared variable concurrent programs (Q1362776) (← links)
• Designing a semantic model for a wide-spectrum language with concurrency (Q1682288) (← links)
• A UTP semantics for communicating processes with shared variables and its formal encoding in PVS (Q1798665) (← links)
• Strong fairness and full abstraction for communicating processes (Q1854396) (← links)
• A fixpoint theory for non-monotonic parallelism (Q1884887) (← links)
• A denotational semantics of textually aligned SPMD programs (Q2011201) (← links)
• A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
• A denotational semantics for SPARC TSO (Q2130595) (← links)
• Trace semantics and algebraic laws for MCA ARMv8 architecture based on UTP (Q2154026) (← links)
• Weak bisimulation is sound and complete for pCTL\(^*\) (Q2266992) (← links)
• Denotational semantics for thread algebra (Q2469153) (← links)
• Compositional analysis of C/C++ programs with veriSoft (Q2502271) (← links)
• Constructing the Views Framework (Q2814615) (← links)
• A grainless semantics for parallel programs with shared mutable data (Q2852353) (← links)
• Fairness, Resources, and Separation (Q3178252) (← links)
• Full Abstraction Without Synchronization Primitives (Q3178268) (← links)
• (Q4222750) (← links)
• (Q4222882) (← links)
• A parallel virtual machine for programs composed of abstract data types (Q4419797) (← links)
• Transfer Principles for Reasoning About Concurrent Programs (Q4917047) (← links)
• Retracing CSP (Q5262957) (← links)
• (Q5376661) (← links)
• Full Abstraction for Linda (Q5458387) (← links)
• CONCUR 2003 - Concurrency Theory (Q5900578) (← links)