A Denotational Semantics for Parameterised Networks of Synchronised Automata.

Siqi Li Eric Madelaine

Published in: UTP (2016)

Keyphrases

denotational semantics
programming language
social networks
database
databases
query language
network structure
data mining
operational semantics
abstract data types