An approach to strategies in concurrent systems.

Bruce Davies Graham Wrightson

Published in: Electron. Notes Theor. Comput. Sci. (2000)

Keyphrases

concurrent systems
distributed systems
temporal logic
process algebra
model checking
formal specification
petri net
transition systems
databases
data mining
search strategies