On Rewriting Behavioral Semantics in Process Algebras.

Paola Inverardi Monica Nesi

Published in: AMAST (1991)

Keyphrases

conceptual model
database systems
data management
logic programming
temporal reasoning
formal semantics
query rewriting