Csp Process Algebra is a formal process algebra belonging to the family of concurrency-theoretic models, distinguished by its use of synchronous communication, deterministic process composition, and refinement-based semantics to specify and verify concurrent systems.
45
Publications
3K
Citations
84
Authors
45
Institutions
Publications per year
2017–2026
1
Parents
Publications
45
A hierarchy of authentication specifications
Gavin Lowe · 2002 · 618 citations
Casper: a compiler for the analysis of security protocols
Gavin Lowe · 2002 · 308 citations
1–5 of 45
Authors
84
- GL
5
h-index
- SS
3
h-index
- HZ
3
h-index
- GH
2
h-index
- BB
2
h-index
1–5 of 84
Institutions
45
University of Oxford
Oxford, United Kingdom
5 h-index
5 publications
319 citations
Peking University
Beijing, China
3 h-index
15 publications
363 citations
Eindhoven University of Technology
Eindhoven, The Netherlands
3 h-index
5 publications
95 citations
University of Leicester
Leicester, United Kingdom
3 h-index
3 publications
1.2K citations
East China Normal University
Shanghai, China
3 h-index
13 publications
397 citations
Shanghai Key Laboratory of Trustworthy Computing
Shanghai, China
2 h-index
9 publications
297 citations
IBM Research - Zurich
Rüschlikon, Switzerland
2 h-index
3 publications
78 citations
The University of Queensland
Brisbane, Australia
2 h-index
3 publications
84 citations
1–8 of 45
Venues
- Journal of Computer Security
4 publications · 531 citations
4
h-index
- Theoretical Computer Science
3 publications · 115 citations
3
h-index
- ACM Transactions on Programming Languages and Systems
2 publications · 34 citations
2
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 2 publications · 69 citations
2
h-index
- ACM SIGSOFT Software Engineering Notes
SEN · 1 publications · 19 citations
1
h-index
1–5