Using Pi-Calculus Names as Locks.

Daniel Hirschkoff Enguerrand Prebet

Published in: EXPRESS/SOS (2023)

Keyphrases

keywords
concurrency control
named entities
automated deduction
computer algebra
data mining
automated theorem proving
person names
real time
database systems
formal language