Keyword

process algebra

Description: Process algebra is a family of mathematical formalisms for describing and reasoning about concurrent processes and their interactions, including in computer science.

Primary topic: Logic, programming, and type systems (51%)

Wikidata ID: wiki/Q1970286

OpenAlex ID: keywords/process-calculus

Communicating Sequential Processes

1985 · Tony Hoare · 9,068

Communication and Concurrency

1989 · Robin Milner · 6,906

A Calculus of Communicating Systems

1980 · Lecture notes in computer science · 4,664

A calculus of mobile processes, I

1992 · Robin Milner, Joachim Parrow, et al. · Information and Computation · 2,846

A calculus of mobile processes, II

1992 · Robin Milner, Joachim Parrow, et al. · Information and Computation · 1,697

Business Process Management: A Survey

2003 · Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, et al. · Lecture notes in computer science · 1,349

The Pi-Calculus: A Theory of Mobile Processes

2001 · Davide Sangiorgi, David Walker · 1,176

A calculus for cryptographic protocols

1997 · Martín Abadi, Andrew D. Gordon · Proceedings of the ACM Conference on Computer and Communications Security · 1,154

PDF

Testing equivalences for processes

1984 · R. De Nicola, M.C.B. Hennessy · Theoretical Computer Science · 1,151

Mobile ambients

2000 · Luca Cardelli, Andrew D. Gordon · Theoretical Computer Science · 1,039

PDF

Handbook of Process Algebra

2001 · Elsevier eBooks · 1,006

Process algebra

1990 · J. C. M. Baeten, W. P. Weijland · 929

Process algebra for synchronous communication

1984 · J.A. Bergstra, J.W. Klop · Information and Control · 871

The chemical abstract machine

1992 · Gérard Berry, Gérard Boudol · Theoretical Computer Science · 813

Notes on Communicating Sequential Systems

1986 · C. A. R. Hoare · Springer eBooks · 781

A Calculus for Cryptographic Protocols: The Spi Calculus

1999 · Martı́n Abadi, Andrew D. Gordon · Information and Computation · 668

A hierarchy of authentication specifications

2002 · G. Lowe · 631

Coroutines and networks of parallel processes

1976 · Gilles Kahn, David MacQueen · HAL (Le Centre pour la Communication Scientifique Directe) · 492

Expressing mobility in process algebras: first-order and higher-order paradigms

1993 · Davide Sangiorgi · ERA · 480

PDF

BioAmbients: an abstraction for biological compartments

2004 · Aviv Regev, Ekaterina M. Panina, et al. · Theoretical Computer Science · 471

PDF

Process Algebra

1990 · J. C. M. Baeten, W. P. Weijland · Cambridge University Press eBooks · 466

A modal process logic

2003 · K.G. Larsen, B. Thomsen · 462

The reflexive CHAM and the join-calculus

1996 · Cédric Fournet, Georges Gonthier · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 460

PDF

Models for concurrency

1991 · Mogens Nielsen · Lecture notes in computer science · 459

Reasoning about systems with many processes

1992 · Steven M. German, A. Prasad Sistla · Journal of the ACM · 445

PDF

Works count: 8,781

Citation count: 124,300