Split and ST Bisimulation Semantics

Roberto Gorrieri Cosimo Laneve

Published in: Inf. Comput. (1995)

Keyphrases

logic programming
semantic information
formal semantics
real time
data sets
conceptual model
active rules
logical language