Concurrent System Modeling

Concurrent System Modeling is a discrete-event system modeling approach that represents systems wherein multiple processes execute simultaneously and interact through shared resources or synchronization mechanisms, distinguished by its explicit treatment of concurrency, non-determinism, and temporal interleaving of events.

502

Publications

31.3K

Citations

1K

Authors

401

Institutions

Publications per year

2017–2026

23

Authors

1K

  1. EA
    Edward A. Lee

    University of California, Berkeley, United States

    15 publications · 1.1K citations

    13

    h-index

  2. GW
    Glynn Winskel

    University of Cambridge, United Kingdom

    7 publications · 270 citations

    7

    h-index

  3. RJ
    Ryszard Janicki

    McMaster University, Canada

    7 publications · 172 citations

    7

    h-index

  4. WW
    W.M. Wonham

    University of Toronto, Canada

    6 publications · 120 citations

    6

    h-index

  5. GA
    Gul Agha

    University of Illinois Urbana-Champaign, United States

    6 publications · 387 citations

    6

    h-index

1–5 of 1K

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 19 publications · 575 citations

    14

    h-index

  2. IEEE Transactions on Software Engineering

    TSE · 16 publications · 1.6K citations

    14

    h-index

  3. Concurrent Engineering

    CERA · 11 publications · 254 citations

    11

    h-index

  4. Theoretical Computer Science

    12 publications · 391 citations

    11

    h-index

  5. Fundamenta Informaticae

    10 publications · 465 citations

    10

    h-index

1–5