Universal Coinductive Characterisations of Process Semantics.

David de Frutos-Escrig Carlos Gregorio-Rodríguez

Published in: IFIP TCS (2008)

Keyphrases

data sets
information retrieval
formal semantics
real time
search engine
multiscale
process model
conceptual model