Sciweavers

CAI
2009
Springer
13 years 11 months ago
Process Algebra: An Algebraic Theory of Concurrency
This tutorial provides an overview of the process algebra ACP.
Wan Fokkink
CAI
2009
Springer
13 years 11 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