Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

CAI
2009
Springer

favoriteEmaildiscussreport

132views Information Technology» more CAI 2009»

Process Algebra: An Algebraic Theory of Concurrency

13 years 11 months ago

Process Algebra: An Algebraic Theory of Concurrency

Download www.cs.vu.nl

This tutorial provides an overview of the process algebra ACP.

Wan Fokkink

Real-time Traffic

Algebra | CAI 2009 | Informatics | Process Algebra Acp |

claim paper

Related Content

» Timing the Untimed Terminating Successfully While Being Conservative

» What is algebraic in process theory

» A Theory of Weak Bisimulation for Core CML

» On CSP and the Algebraic Theory of Effects

» Asynchronous Communication in Process Algebra

» Thread Algebra with MultiLevel Strategies

» Product Automata and Process Algebra

» Finite Equational Bases in Process Algebra Results and Open Questions

» Towards a Theory of Bisimulation for a Fragment of Verilog

Post Info
More Details (n/a)

Added	26 May 2010
Updated	26 May 2010
Type	Conference
Year	2009
Where	CAI
Authors	Wan Fokkink

Comments (0)