A brief history of process algebra

By Jos C. M. Baeten. Theoretical Computer Science, 2005

423 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/de6f1a55c0a72e6580799428b41d31fb3db232b4

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. Jose D. Fernández
2. Alberto Coen-Porisini
3. Francisco J. Vico
4. Luigi Alfredo Grieco
5. Alexandre Mouradian
6. James R. Faeder
7. Walter Fontana
8. Alessandra Rizzardi

In Computational Theory and Mathematics

1. Jose D. Fernández
2. Francisco J. Vico
3. Alexandre Mouradian
4. Walter Fontana

Citations in the corpus

• Security, privacy and trust in Internet of Things: The road ahead (2015, background): “More in details, an extended version of the Algebra for Communicating Process (ACP) [97], designed for specifying concurrent systems”
• AI Methods in Algorithmic Composition: A Comprehensive Survey (2013, background): “Detailed descriptions of these models are beyond the scope of this survey; see for example Reisig’s (1998) book on Petri nets and Baeten’s (2005) survey on process algebras for more information.”
• Extreme value theory for the study of probabilistic worst case delays in wireless networks (2016, background): “Process algebras [13], for instance, fall into this category.”
• A Correction to the Review Titled "Rules for Modeling Signal-Transduction Systems" by W. S. Hlavacek et al. (2006, background): “It is one of many process calculi (algebras) studied in this field ( 114 , 115 ).”