Sign in
From Flow Logic to Static Type Systems for Coordination Languages.
Rocco De Nicola
Daniele Gorla
René Rydhof Hansen
Flemming Nielson
Hanne Riis Nielson
Christian W. Probst
Rosario Pugliese
Published in:
COORDINATION (2008)
Keyphrases
</>
complex systems
asynchronous circuits
databases
multi agent
expert systems
distributed systems
building blocks
expressive power
neural network
artificial intelligence
management system
knowledge based systems
modal logic
information flow
digital circuits
open systems