Fair Transition System Specification: An Integrated Approach.

Guoping Jia Guoliang Zheng

Published in: ACM SIGPLAN Notices (1996)

Keyphrases

state transition
formal specification
high level
specification language
multi unit combinatorial auctions
search engine
data sets
real world
information systems
multi agent systems
formal verification