Sign in

From Flow Logic to static type systems for coordination languages.

Rocco De NicolaDaniele GorlaRené Rydhof HansenFlemming NielsonHanne Riis NielsonChristian W. ProbstRosario Pugliese
Published in: Sci. Comput. Program. (2010)
Keyphrases
  • complex systems
  • cooperative
  • multi agent systems
  • management system
  • information sharing
  • asynchronous circuits
  • expert systems
  • distributed systems
  • intelligent systems
  • logic programming
  • language independent