Topics of interest include, but shall not be limited to:

  • models, logic and types for interactions;
  • synchronous/asynchronous mechanisms;
  • expressiveness results;
  • timed and hybrid interactions;
  • verification, analysis and tools;
  • programming primitives for interactions;
  • interactions as coordination mechanisms;
  • interactions inspired by emerging computational models (systems biology, quantum computing, etc.).
ice08/topics.txt · Last modified: 2015/09/29 12:11 (external edit)     Back to top