Login / Signup
Linear logical relations and observational equivalences for session-based concurrency.
Jorge A. Pérez
Luís Caires
Frank Pfenning
Bernardo Toninho
Published in:
Inf. Comput. (2014)
Keyphrases
</>
logical structure
information retrieval
connected components
database
real time
database systems
logic programs
relational algebra
binary relations
logical representation
logical theories