Sign in
On subexponentials, focusing and modalities in concurrent systems.
Vivek Nigam
Carlos Olarte
Elaine Pimentel
Published in:
Theor. Comput. Sci. (2017)
Keyphrases
</>
concurrent systems
temporal logic
distributed systems
process algebra
model checking
formal specification
petri net
transition systems
databases
information systems
knowledge base
relational databases
query language