Concepedia

Concurrent Process Modeling

Concurrent Process Modeling is a formal method in Register-Transfer Level design that specifies the simultaneous execution of operations through distinct, interacting processes, distinguished by its explicit representation of parallelism and synchronization in digital system behavior.

228

Publications

9.6K

Citations

536

Authors

236

Institutions

Publications per year

2017–2026

12

Parents

Publications

228

A framework for comparing models of computation

Edward A. Lee, Alberto Sangiovanni‐Vincentelli · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1998 · 689 citations

, , +16

On communicating sequential processes

Bhoomika Pandey, Sunil Pathak · Computer Networks and ISDN Systems · 1995 · 378 citations

, , +10

A note on the identifiability of parallel and serial processes

James T. Townsend · Perception & Psychophysics · 1971 · 356 citations · Full text

, , +6

Concurrent engineering: Automation, tools, and techniques

Journal of Manufacturing Systems · 1994 · 304 citations

, , +12

Queueing Network-Model Human Processor (QN-MHP)

Yili Liu, Robert Feyen, Omer Tsimhoni · ACM Transactions on Computer-Human Interaction · 2006 · 204 citations

, , +14

1–5 of 228

Authors

536

  1. GW
    Glynn Winskel

    University of Cambridge, United Kingdom

    3 publications · 76 citations

    3

    h-index

  2. FR
    Frederick R.M. Barnes

    University of Kent, United Kingdom

    3 publications · 50 citations

    3

    h-index

  3. AS
    Alberto Sangiovanni‐Vincentelli

    University of California, Berkeley, United States

    3 publications · 806 citations

    3

    h-index

  4. GL
    Gian Luca Cattani

    University of Cambridge, United Kingdom

    2 publications · 61 citations

    2

    h-index

  5. HG
    Hubert Garavel

    Institut national de recherche en sciences et technologies du numérique, France

    2 publications · 52 citations

    2

    h-index

1–5 of 536

Institutions

236

  1. The University of Texas at Austin

    Austin, United States

    6 h-index

    8 publications

    593 citations

  2. University of California San Diego

    San Diego, United States

    5 h-index

    5 publications

    158 citations

  3. University of Washington

    Seattle, United States

    5 h-index

    13 publications

    683 citations

  4. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    5 h-index

    6 publications

    160 citations

  5. Eindhoven University of Technology

    Eindhoven, The Netherlands

    5 h-index

    9 publications

    314 citations

  6. Purdue University West Lafayette

    West Lafayette, United States

    4 h-index

    6 publications

    548 citations

  7. University of California, Berkeley

    Berkeley, United States

    4 h-index

    6 publications

    1.6K citations

  8. Commissariat à l'Énergie Atomique et aux Énergies Alternatives

    Paris, France

    3 h-index

    7 publications

    136 citations

1–8 of 236

Venues

  1. Computers & Chemical Engineering

    6 publications · 162 citations

    6

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 5 publications · 66 citations

    5

    h-index

  3. IEEE Transactions on Software Engineering

    TSE · 4 publications · 215 citations

    4

    h-index

  4. Concurrent Engineering

    CERA · 3 publications · 91 citations

    3

    h-index

  5. IEEE Transactions on Robotics and Automation

    3 publications · 165 citations

    3

    h-index

1–5