CPO semantics of timed interactive actor networks.

Xiaojun Liu Edward A. Lee

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

Keyphrases

network analysis
social networks
user interaction
formal semantics
petri net
network structure
complex networks
network model
databases
finite state machines
virtual reality
database
user friendly
integrity constraints
network topologies
computer networks
semantic information
information retrieval
real time