Coalgebraic semantics for timed processes.

Marco Kick John Power Alex Simpson

Published in: Inf. Comput. (2006)

Keyphrases

formal semantics
petri net
artificial intelligence
semantic information
dynamic aspects
speech acts
case study
software engineering
markov chain
logical language
timed automata