Sign in
Specifying concurrent programs in separation logic: morphisms and simulations.
Aleksandar Nanevski
Anindya Banerjee
Germán Andrés Delbianco
Ignacio Fábregas
Published in:
Proc. ACM Program. Lang. (2019)
Keyphrases
</>
concurrent programs
concurrent programming
process algebra
asynchronous circuits
web applications
modal logic
concurrent systems
knowledge acquisition
model checking
concurrent processes
formal specification
formal methods