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