Login / Signup
A concurrency-agnostic protocol for multi-paradigm concurrent debugging tools.
Stefan Marr
Carmen Torres Lopez
Dominik Aumayr
Elisa Gonzalez Boix
Hanspeter Mössenböck
Published in:
DLS (2017)
Keyphrases
</>
concurrent execution
database systems
lightweight
software tools
end users
formal analysis
concurrent programming
database
security analysis
communication protocol
cryptographic protocols
concurrency control protocols
program understanding