scientific article; zbMATH DE number 3890713
From MaRDI portal
Publication:3347276
Recommendations
Cited in
(31)- Denotational semantics of communicating sequential programs
- Specification and top-down design of distributed systems
- Real-time semantics for shared-variable concurrency
- Locally abstract, globally concrete semantics of concurrent programming languages
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
- Denotational semantics of program schemas for languages for communicating sequential processes
- Full abstraction for a shared-variable parallel language
- A denotational semantics of textually aligned SPMD programs
- A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
- On grainless footprint semantics for shared-memory programs
- A denotational semantic theory of concurrent systems
- scientific article; zbMATH DE number 995891 (Why is no real title available?)
- A Deadlock-Free Semantics for Shared Memory Concurrency
- Semantics of Deterministic Shared-Memory Systems
- Parameterized Memory Models and Concurrent Separation Logic
- scientific article; zbMATH DE number 3902017 (Why is no real title available?)
- scientific article; zbMATH DE number 3978364 (Why is no real title available?)
- scientific article; zbMATH DE number 4051577 (Why is no real title available?)
- scientific article; zbMATH DE number 92601 (Why is no real title available?)
- scientific article; zbMATH DE number 1023018 (Why is no real title available?)
- Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies
- Concurrency semantics in continuation-passing style
- scientific article; zbMATH DE number 2088359 (Why is no real title available?)
- UTCP: Compositional Semantics for Shared-Variable Concurrency
- Concurrent programming languages and methods for semantic analyses (extended abstract of invited talk)
- A denotational semantics for SPARC TSO
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- An algebraic theory for shared-state concurrency
- A denotational semantics for shared-memory parallelism and nondeterminism
- A linear-history semantics for languages for distributed programming
- Denotational semantics of a parallel object-oriented language
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3347276)
