Communication Protocol Modeling is a formal method within Discrete-Event System Modeling that specifies the rules, message formats, and sequencing mechanisms governing interactions between concurrent entities to ensure reliable, timed, and state-consistent data exchange in distributed systems.
442
Publications
19.3K
Citations
1.1K
Authors
491
Institutions
Publications per year
2017–2026
76
Publications
442
Intelligent fluid infrastructure for embedded networks
Aman Kansal, Arun Somasundara, David Jea et al. · 2004 · 355 citations · Full text
Ashok Chandra, Merrick L. Furst, Richard J. Lipton · 1983 · 269 citations
1–5 of 442
Authors
1.1K
- MP
6
h-index
- ZW
5
h-index
- TB
4
h-index
- PY
4
h-index
- SA
3
h-index
1–5 of 1.1K
Institutions
491
Centre National de la Recherche Scientifique
Paris, France
10 h-index
23 publications
530 citations
University of Illinois Urbana-Champaign
Urbana, United States
8 h-index
23 publications
1.3K citations
The University of Texas at Austin
Austin, United States
7 h-index
18 publications
473 citations
North Carolina State University
Raleigh, United States
7 h-index
12 publications
926 citations
IBM (United States)
Armonk, United States
7 h-index
7 publications
527 citations
AT&T (United States)
Bedminster, United States
7 h-index
10 publications
363 citations
ETH Zurich
Zurich, Switzerland
6 h-index
11 publications
612 citations
Carnegie Mellon University
Pittsburgh, United States
6 h-index
9 publications
465 citations
1–8 of 491
Venues
- IEEE Transactions on Software Engineering
TSE · 11 publications · 655 citations
11
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 11 publications · 404 citations
10
h-index
- IEEE Transactions on Computers
7 publications · 184 citations
7
h-index
- Sensors
6 publications · 453 citations
6
h-index
- IEEE Transactions on Communications
5 publications · 70 citations
5
h-index
1–5