Parallel Composition is a process algebraic operator that combines two or more concurrent processes into a single process by specifying their admissible interleavings or synchronizations, thereby enabling the modeling of parallelism within a unified computational behavior.
186
Publications
7.6K
Citations
423
Authors
212
Institutions
Publications per year
2017–2026
16
Parents
Publications
186
Communicating sequential processes
C. A. R. Hoare · Communications of the ACM · 1983 · 3.8K citations · Full text
Communicating sequential processes
C. A. R. Hoare · Communications of the ACM · 1978 · 3.5K citations · Full text
Graph-grammars: An algebraic approach
Hartmut Ehrig, Michael Pfender · 1973 · 488 citations
Composing software-defined networks
Christopher Monsanto, Joshua Reich, Nate Foster et al. · 2013 · 449 citations
Notes on finite asynchronous automata
Wiesław Zielonka · RAIRO - Theoretical Informatics and Applications · 1987 · 290 citations · Full text
1–5 of 186
Authors
423
- ASAlberto Sangiovanni‐Vincentelli
University of California, Berkeley, United States
5 publications · 184 citations
5
h-index
- FV
4
h-index
- NL
4
h-index
- KG
4
h-index
- TV
3
h-index
1–5 of 423
Institutions
212
Eindhoven University of Technology
Eindhoven, The Netherlands
8 h-index
13 publications
216 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
7 h-index
18 publications
1.9K citations
Institut de Recherche en Informatique et Systèmes Aléatoires
Rennes, France
6 h-index
14 publications
743 citations
Imperial College London
London, United Kingdom
6 h-index
16 publications
873 citations
Aalborg University
Aalborg, Denmark
5 h-index
9 publications
211 citations
University of California, Berkeley
Berkeley, United States
5 h-index
8 publications
328 citations
University of Pisa
Pisa, Italy
5 h-index
14 publications
1.2K citations
Centrum Wiskunde & Informatica
Amsterdam, The Netherlands
4 h-index
7 publications
84 citations
1–8 of 212
Venues
- Electronic Notes in Theoretical Computer Science
ENTCS · 12 publications · 358 citations
12
h-index
- Mathematical Structures in Computer Science
MSCS · 6 publications · 219 citations
6
h-index
- Theoretical Computer Science
4 publications · 106 citations
4
h-index
- Logical Methods in Computer Science
LMCS · 4 publications · 81 citations
4
h-index
- ACM Transactions on Programming Languages and Systems
4 publications · 125 citations
4
h-index
1–5