Concurrency Representation
Concurrency Representation is a formal model that specifies how multiple simultaneous actions are structured and related within a unified action framework, distinguishing itself by explicitly encoding temporal and causal dependencies among co-occurring actions.
99
Publications
5.1K
Citations
188
Authors
89
Institutions
Publications per year
2017–2026
1
Parents
99
Modeling concurrency with partial orders
Vaughan Pratt · International Journal of Parallel Programming · 1986 · 645 citations
Rajeev Alur, Thomas A. Henzinger · Formal Methods in System Design · 1999 · 541 citations
Causal theories of action and change
Norman McCain, Hudson Turner · 1997 · 224 citations
1–5 of 99
188
6
h-index
4
h-index
3
h-index
3
h-index
Institut national de recherche en sciences et technologies du numérique, France
2 publications · 76 citations
2
h-index
1–5 of 188
89

Aarhus University
Aarhus, Denmark
5 h-index
11 publications
266 citations
Stanford University
Stanford, United States
4 h-index
5 publications
864 citations
SRI International
Menlo Park, United States
4 h-index
4 publications
208 citations
University of California, Berkeley
Berkeley, United States
4 h-index
4 publications
766 citations
IBM Research - Thomas J. Watson Research Center
Yorktown Heights, United States
3 h-index
3 publications
88 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
3 h-index
5 publications
193 citations
University of Cambridge
Cambridge, United Kingdom
3 h-index
4 publications
185 citations

University of Massachusetts Amherst
Amherst Center, United States
3 h-index
5 publications
247 citations
1–8 of 89
3 publications · 90 citations
3
h-index
2 publications · 34 citations
2
h-index
Conference · 2 publications · 84 citations
2
h-index
2 publications · 96 citations
2
h-index
Conference · 2 publications · 42 citations
2
h-index
1–5