Balancing expressiveness in formal approaches to concurrency.

Cliff B. Jones Ian J. Hayes Robert J. Colvin

Published in: Formal Aspects Comput. (2015)

Keyphrases

database
expressive power
information systems
strengths and weaknesses
data sets
case study
image sequences
multi agent
formal model
alternative approaches