Logical Concurrency Control from Sequential Proofs

DOI10.2168/LMCS-7(3:10)2011zbMath1237.68060arXiv1107.4422MaRDI QIDQ5895524

G. Ramalingam, Jyotirmoy V. Deshmukh, Kapil Vaswani, Venkatesh-Prasad Ranganath

Publication date: 2 April 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

concurrency controlprogram synthesis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• SyncGen

This page was built for publication: Logical Concurrency Control from Sequential Proofs