Sign in
A framework for specifying and verifying the behaviour of open systems.
Andrea Bracciali
Antonio Brogi
Franco Turini
Published in:
J. Log. Algebraic Methods Program. (2005)
Keyphrases
</>
open systems
lightweight
artificial intelligence
cooperative
open multiagent systems