DisCo Around the Clock
General description
This Summer Course will give you a working knowledge on how joint actions may be used in the specification of reactive systems. A relatively large part of the course will consist of hands-on work using the DisCo language and the associated tools for the specification of small scale case studies. For more information about the DisCo method, see http://www.cs.tut.fi/ohj/DisCo/.
Information for applicants
- Selection criteria:
Practical arrangements
All of the following are covered by the event fee:
- Lodging:
- Meals:
- Transportation: