Concurrent correctness in vector space

DOI10.1007/978-3-030-67067-2_8zbMath1472.68092OpenAlexW3119010496MaRDI QIDQ2234067

Christina Peterson, Damian Dechev, Victor Cook

Publication date: 18 October 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-67067-2_8

zbMATH Keywords

concurrent programsdynamic analysiscorrectness condition

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Quantifiability: a concurrent correctness condition modeled in vector space

Cites Work

• Testing and verifying concurrent objects
• Model-checking of correctness conditions for concurrent objects
• Tractable Refinement Checking for Concurrent Objects
• Atomizer
• The serializability of concurrent database updates
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• Counting networks
• Testing Shared Memories
• Verifying Concurrent Programs against Sequential Specifications
• Checking Linearizability of Encapsulated Extended Operations
• Comparison Under Abstraction for Verifying Linearizability

This page was built for publication: Concurrent correctness in vector space