- Details
- Written by Christoph Wagner
- Category: Research
This web location is supposed to both collect data concerning concurrency theory as well as to provide a useful single point of entry to the various respective information resources on the web. Content that is available elsewhere should not be replicated here.
Ideally, many(!) members of the community will help to make this site useful.
- Details
- Written by Christoph Wagner
- Category: Research
Texts |
Instances |
Tools |
Miscellaneous |
Instances
- Action Calculi
- Behave @ Microsoft
- BioSPI (based on Stochastic Pi)
- Buisness Process Modeling Initiative
- Mobile Ambients - Cardelli's Ambit
- Blue
- Distributed Pi
- Functional Nets
- Join Calculus
- Seal Calculus
- Spi Calculus
- TyCO: Typed Concurrent Objects
- Details
- Written by Christoph Wagner
- Category: Research
Texts |
Instances |
Tools |
Miscellaneous |
Mailing Lists
- Moca (Mobile calculi) - A moderated mailing list on models for mobility
- Concurrency
- Types
Project
Teaching
- A pi-course introducing the
-calculus, given at SICS.
Mobile Agents
- Mobile Code
- Agent Pages
- Mobile Computing
- More pointers from the Project Mole
- Details
- Written by Christoph Wagner
- Category: Research
Related Sites
- The Formal Methods Wiki of Jonathan Bowen contains a section on Concurrent Systems.