The following information is about Calculi.

Calculi Defined

Are you looking for additional Health > Calculi news? Try our new "Calculi News Focus" area.

Off-site Calculi Links, User Submitted

The following links have been collected through user bookmark submission in the Calculi category. Please note, because these resources are off-site we cannot guarantee the accuracy or quality of any information.

Fri Apr 18

• Short Contributions from the Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond PA '05 Bertinoro, Forlì, Italy, August 1-5, 2005

Mon Feb 25

• Foundational Calculi for Programming Languages: Foundational Calculi for Programming Languages

Thu Jan 31

• LNCS 1996: A new proposal of concurrent process calculus

Tue Dec 11

• Calculi for Mobile Processes

Tue Oct 16

• PRISM - Probabilistic Symbolic Model Checker

Thu Oct 4

• Labnotes " Pi-cture this: Pi-calculus, Ruby and WideFinder

Thu Feb 15

• Wolfram Kahl home page

Sun Jan 28

• Applied Pi - A Brief Tutorial. Peter Sewell

Thu Jan 18

• PDF CHM eBooks - Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems

Thu Nov 9

• Orc - An Orchestration Language: Orc is a programming language and system for orchestrating distributed services. The Orc model assumes that basic services, like sequential computation and data manipulation, are implemented by primitive sites.

If you would like to find additional social bookmark based links on the topic of we recommend the Open Tag Directory > Calculi. If you would like to find related tags we recommend Tag Patterns > Calculi

Off-site Calculi Research Links

If you still need additional information on Calculi then we suggest the following off-site resources. Please note, because these resources are off-site we cannot guarantee the accuracy or quality of any information.