Components with Symbolic Transition Systems: A Java Implementation of Rendezvous.

Fabrício Fernandes Robin Passama Jean-Claude Royer

Published in: CPA (2007)

Keyphrases

transition systems
concurrent systems
model checking
programming language
heuristic search
temporal logic
social networks
object oriented
source code
building blocks
software components
practical reasoning