Sciweavers

CAI
2009
Springer
14 years 2 months ago
Process Algebra: An Algebraic Theory of Concurrency
This tutorial provides an overview of the process algebra ACP.
Wan Fokkink
CAI
2009
Springer
14 years 2 months ago
The Graph Programming Language GP
Abstract. GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handlin...
Detlef Plump