Processes as formal power series: A coinductive approach to denotational semantics.

Michele Boreale Fabio Gadducci

Published in: Theor. Comput. Sci. (2006)

Keyphrases

denotational semantics
operational semantics
programming language
power consumption
abstract data types
dynamic aspects
high level
sensor networks
general purpose
database
data mining
management system
distance measure
process model