Concepedia

Value-passing Processes

Value-Passing Processes is a process algebraic model that extends canonical process calculi by enabling the transmission of data values through communication channels, thereby allowing processes to parametrize behavior on exchanged values while preserving the concurrent and compositional semantics of the parent formalism.

22

Publications

754

Citations

36

Authors

26

Institutions

Publications per year

2017–2026

0

Parents

Publications

22

π-Calculus, internal mobility, and agent-passing calculi

Davide Sangiorgi · Theoretical Computer Science · 1996 · 183 citations

, , +6

Semantics of name and value passing

M. Firore, Daniele Turi · 2002 · 120 citations

, , +16

A Theory of Communicating Processes with Value Passing

Matthew Hennessy, Anna Ingólfsdóttir · Information and Computation · 1993 · 74 citations

, , +9

A proof system for communicating processes with value-passing

Matthew Hennessy · Formal Aspects of Computing · 1991 · 54 citations · Full text

, , +12

Symbolic schedulability analysis of real-time systems

Hee-Hwan Kwak, I. Lee, Anna Philippou et al. · 2002 · 37 citations

, , +14

1–5 of 22

Authors

36

  1. MH
    Matthew Hennessy

    University of Sussex, United Kingdom

    4 publications · 162 citations

    4

    h-index

  2. AI
    Anna Ingólfsdóttir

    Reykjavík University, Iceland

    4 publications · 127 citations

    4

    h-index

  3. JC
    Jin‐Young Choi

    Korea University, South Korea

    2 publications · 69 citations

    2

    h-index

  4. GS
    Gwen Salaün

    Universidad de Málaga, Spain

    2 publications · 44 citations

    2

    h-index

  5. DY
    Daniel Yankelevich

    North Carolina State University, United States

    1 publications · 12 citations

    1

    h-index

1–5 of 36

Institutions

26

  1. University of Sussex

    Brighton, United Kingdom

    4 h-index

    7 publications

    270 citations

  2. Danish National Research Foundation

    Copenhagen, Denmark

    4 h-index

    4 publications

    65 citations

  3. Aalborg University

    Aalborg, Denmark

    3 h-index

    4 publications

    67 citations

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

    Le Chesnay-Rocquencourt, France

    2 h-index

    3 publications

    207 citations

  5. University of Pennsylvania

    Philadelphia, United States

    2 h-index

    8 publications

    281 citations

  6. Universidad de Málaga

    Málaga, Spain

    2 h-index

    4 publications

    78 citations

  7. Centre National de la Recherche Scientifique

    Paris, France

    1 h-index

    3 publications

    39 citations

  8. University of Cambridge

    Cambridge, United Kingdom

    1 h-index

    1 publications

    120 citations

1–8 of 26

Venues

  1. BRICS Report Series

    4 publications · 65 citations

    4

    h-index

  2. Formal Aspects of Computing

    3 publications · 90 citations

    3

    h-index

  3. Information and Computation

    2 publications · 84 citations

    2

    h-index

  4. Theoretical Computer Science

    1 publications · 183 citations

    1

    h-index

  5. PolyPublie (École Polytechnique de Montréal)

    Repository · 1 publications · 13 citations

    1

    h-index

1–5