An Optimality Principle for Concurrent Systems.

Langford B. White Sarah L. Hickmott

Published in: Australasian Conference on Artificial Intelligence (2008)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
model checking
formal specification
transition systems
petri net
optimal solution
databases
genetic algorithm
real time
information retrieval