A Semantics for Timed MSC.

Tong Zheng Ferhat Khendek Loïc Hélouët

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

formal semantics
petri net
database
databases
real world
data mining
decision trees
logic programming
machine learning
artificial intelligence
discrete event
proof theory