A relational trace logic for simple hierarchical actor-based component systems.

Ilham W. Kurnia Arnd Poetzsch-Heffter

Published in: AGERE!@SPLASH (2012)

Keyphrases

digital circuits
distributed systems
computer systems
building blocks
complex systems
finite state machines
database
databases
clustering algorithm
decision trees
relational databases
source code
expressive power
software components
deontic logic
asynchronous circuits