Contractions in Comparing Concurrency Semantics.

Joost N. Kok Jan J. M. M. Rutten

Published in: Theor. Comput. Sci. (1990)

Keyphrases

formal semantics
neural network
logic programming
semantic information
active rules
real time
relational databases
logic programs
concurrency control
transformation rules
proof theory