Semantics, specification, and bounded verification of concurrent libraries in replicated systems

DOI10.1007/978-3-030-53288-8_13zbMath1478.68045arXiv2004.10158OpenAlexW3046432703MaRDI QIDQ2225105

Suresh Jagannathan, Kartik Nagar, Prasita Mukherjee

Publication date: 4 February 2021

Full work available at URL: https://arxiv.org/abs/2004.10158

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Related Items (1)

Unnamed Item

This page was built for publication: Semantics, specification, and bounded verification of concurrent libraries in replicated systems