A brief history of process algebra

J.C.M. Baeten

doi:10.1016/j.tcs.2004.07.036

A brief history of process algebra

J.C.M. Baeten

Formal System Analysis

Research output: Contribution to journal › Article › Academic › peer-review

194 Citations (Scopus)

2 Downloads (Pure)

Abstract

This note addresses the history of process algebra as an area of research in concurrency theory, the theory of parallel and distributed systems in computer science. Origins are traced back to the early seventies of the twentieth century, and developments since that time are sketched. The author gives his personal views on these matters. He also considers the present situation, and states some challenges for the future.

Original language	English
Pages (from-to)	131-146
Journal	Theoretical Computer Science
Volume	335
Issue number	2-3
DOIs	https://doi.org/10.1016/j.tcs.2004.07.036
Publication status	Published - 2005

Access to Document

10.1016/j.tcs.2004.07.036

Cite this

@article{b820b90844c9424085585573194b253d,

title = "A brief history of process algebra",

abstract = "This note addresses the history of process algebra as an area of research in concurrency theory, the theory of parallel and distributed systems in computer science. Origins are traced back to the early seventies of the twentieth century, and developments since that time are sketched. The author gives his personal views on these matters. He also considers the present situation, and states some challenges for the future.",

author = "J.C.M. Baeten",

year = "2005",

doi = "10.1016/j.tcs.2004.07.036",

language = "English",

volume = "335",

pages = "131--146",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier B.V.",

number = "2-3",

}

TY - JOUR

T1 - A brief history of process algebra

AU - Baeten, J.C.M.

PY - 2005

Y1 - 2005

N2 - This note addresses the history of process algebra as an area of research in concurrency theory, the theory of parallel and distributed systems in computer science. Origins are traced back to the early seventies of the twentieth century, and developments since that time are sketched. The author gives his personal views on these matters. He also considers the present situation, and states some challenges for the future.

AB - This note addresses the history of process algebra as an area of research in concurrency theory, the theory of parallel and distributed systems in computer science. Origins are traced back to the early seventies of the twentieth century, and developments since that time are sketched. The author gives his personal views on these matters. He also considers the present situation, and states some challenges for the future.

U2 - 10.1016/j.tcs.2004.07.036

DO - 10.1016/j.tcs.2004.07.036

M3 - Article

SN - 0304-3975

VL - 335

SP - 131

EP - 146

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 2-3

ER -

A brief history of process algebra

Abstract

Access to Document

Fingerprint

Cite this