Login / Signup
A Deductive Database Support to the Specification of Concurrent Systems.
Patrizia Asirelli
Stefania Gnesi
Maria Cristina Rossi
Published in:
SOFSEM (1996)
Keyphrases
</>
concurrent systems
deductive databases
transition systems
process algebra
integrity constraints
formal specification
petri net
temporal logic
model checking
disjunctive deductive databases
logic programming
information systems
case study
high level
query evaluation