Login / Signup
A LOTOS Based Calculus with True Concurrency Semantics.
Jean-Pierre Courtiat
Rosvelter João Coelho da Costa
Published in:
FORTE (1991)
Keyphrases
</>
algebraic structure
formal semantics
formal language
database systems
logic programming
database query languages
process algebra
concurrency control
first order logic
temporal ordering
proof theoretic
model checking
formal specification
computational properties
relational calculus