Process Algebra Verification is a formal method for verifying concurrent systems by rigorously analyzing their behavioral properties through the algebraic representation and equational reasoning of processes.
64
Publications
2K
Citations
144
Authors
81
Institutions
Publications per year
2017–2026
3
Parents
Publications
64
Andrea Ferrara · 2004 · 241 citations
Compositional reachability analysis using process algebra
Wei Jen Yeh, Michal Young · 1991 · 140 citations · Full text
1–5 of 64
Authors
144
- JF
5
h-index
- RG
4
h-index
- HZ
4
h-index
- JR
3
h-index
- RF
3
h-index
1–5 of 144
Institutions
81
Eindhoven University of Technology
Eindhoven, The Netherlands
6 h-index
17 publications
279 citations
East China Normal University
Shanghai, China
4 h-index
16 publications
438 citations
Centrum Wiskunde & Informatica
Amsterdam, The Netherlands
4 h-index
6 publications
143 citations
University of Edinburgh
Edinburgh, United Kingdom
3 h-index
5 publications
87 citations
University of Bologna
Bologna, Italy
3 h-index
5 publications
245 citations
Shanghai Key Laboratory of Trustworthy Computing
Shanghai, China
3 h-index
11 publications
326 citations
University of L'Aquila
L’Aquila, Italy
2 h-index
2 publications
34 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
2 h-index
3 publications
133 citations
1–8 of 81
Venues
- Theoretical Computer Science
2 publications · 36 citations
2
h-index
- arXiv (Cornell University)
Repository · 2 publications · 56 citations
2
h-index
- Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands
Repository · 2 publications · 104 citations
2
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 2 publications · 27 citations
2
h-index
- Future Generation Computer Systems
FGCS · 2 publications · 27 citations
2
h-index
1–5