Details

Written by Christoph Wagner

Category: Research

Published: 14 June 2013

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

Published: 14 June 2013

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

Published: 14 June 2013

Mailing Lists

• Moca (Mobile calculi) - A moderated mailing list on models for mobility
• Concurrency
• Types

Project

• PROFUNDIS
• CONFER-2
• CONFER: [ pub ] [ Report1 ] [ Report2 ]
• LOMAPS
• COORDINA

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

Published: 14 June 2013

Related Sites

• The Formal Methods Wiki of Jonathan Bowen contains a section on Concurrent Systems.