Abstract Relational Specifications.

Jules Desharnais Nazim H. Madhavji

Published in: Programming Concepts and Methods (1990)

Keyphrases

state machines
high level
relational databases
relational data
data model
real time
relational model
reactive systems
delay insensitive
database
data sets
real world
petri net
database schema
multi relational
state machine