Handbook of Process Algebra

By J. Bergstra, A. Ponse. 2001

368 citations recorded by the source corpus.

Subfields: Artificial Intelligence

View Paper: https://www.semanticscholar.org/paper/1bdad35b7d5256487348792f5c7768491a570730

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Marco Schaerf
2. Gwen Salaün
3. Lucas Bordeaux

Citations in the corpus

• Describing and reasoning on Web services using process algebra (2004, positive): “Our proposal is, specifically, to use process algebra (PA) [5], [25] as a family of languages for formally describing the behaviour of web services.”