Login / Signup
Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations.
Aleksandar Nanevski
Anindya Banerjee
Germán Andrés Delbianco
Ignacio Fábregas
Published in:
CoRR (2019)
Keyphrases
</>
concurrent programs
concurrent programming
process algebra
asynchronous circuits
modal logic
programming language
web applications
real time
information systems
end users
formal language