Hybrid Semantics for PEPA.

Luca Bortolussi Vashti Galpin Jane Hillston Mirco Tribastone

Published in: QEST (2010)

Keyphrases

formal semantics
operational semantics
logic programming
real time
semantic information
e learning
decision trees
multiscale
natural language processing
schema mappings
hybrid learning
logical language