LTS Semantics for Process Calculi from Their Graphical Encodings.

Giacoma Valentina Monreale

Published in: ICGT (2010)

Keyphrases

database
real time
search engine
expert systems
control system
design process
process model
conceptual model