Sign in

A Denotational Semantics for Parameterised Networks of Synchronised Automata.

Siqi LiEric 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