Concepedia

Process Semantics

Process Semantics is a formal framework within computational linguistics that specifies the meaning of natural language expressions by mapping them to computational processes, thereby distinguishing itself from truth-conditional or model-theoretic approaches through its focus on dynamic, procedure-based interpretations.

194

Publications

10.3K

Citations

382

Authors

196

Institutions

Publications per year

2017–2026

13

Parents

Publications

194

The concurrency workbench

Rance Cleaveland, Joachim Parrow, Bernhard Steffen · ACM Transactions on Programming Languages and Systems · 1993 · 555 citations · Full text

, , +17

Synthesis of Communicating Processes from Temporal Logic Specifications

Zohar Manna, Pierre Wolper · ACM Transactions on Programming Languages and Systems · 1984 · 498 citations · Full text

, , +17

Business Process Modeling Notation (BPMN), Version 1.0

Stephen White · 2004 · 473 citations

, , +15

Reactive, Generative, and Stratified Models of Probabilistic Processes

R.J. vanGlabbeek, Scott A. Smolka, Bernhard Steffen · Information and Computation · 1995 · 350 citations

, , +16

Discovering expressive process models by clustering log traces

Gianluigi Greco, Antonella Guzzo, Luigi Pontieri et al. · IEEE Transactions on Knowledge and Data Engineering · 2006 · 319 citations

, , +13

1–5 of 194

Authors

382

  1. JB
    J.A. Bergstra

    University of Amsterdam, Netherlands

    6 publications · 235 citations

    6

    h-index

  2. DS
    Davide Sangiorgi

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

    5 publications · 209 citations

    5

    h-index

  3. JW
    Jan Willem Klop

    University of Amsterdam, Netherlands

    5 publications · 223 citations

    5

    h-index

  4. JM
    Jan Mendling

    Vienna University of Economics and Business, Austria

    5 publications · 281 citations

    5

    h-index

  5. DH
    David Harel

    Weizmann Institute of Science, Israel

    4 publications · 206 citations

    4

    h-index

1–5 of 382

Institutions

196

  1. University of Pisa

    Pisa, Italy

    11 h-index

    25 publications

    737 citations

  2. Vrije Universiteit Amsterdam

    Amsterdam, The Netherlands

    9 h-index

    16 publications

    467 citations

  3. Eindhoven University of Technology

    Eindhoven, The Netherlands

    8 h-index

    12 publications

    445 citations

  4. Centrum Wiskunde & Informatica

    Amsterdam, The Netherlands

    7 h-index

    9 publications

    312 citations

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

    Le Chesnay-Rocquencourt, France

    6 h-index

    8 publications

    325 citations

  6. University of Edinburgh

    Edinburgh, United Kingdom

    5 h-index

    6 publications

    429 citations

  7. Utrecht University

    Utrecht, The Netherlands

    5 h-index

    5 publications

    171 citations

  8. University of Insubria

    Varese, Italy

    4 h-index

    4 publications

    70 citations

1–8 of 196

Venues

  1. Theoretical Computer Science

    13 publications · 787 citations

    12

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 12 publications · 286 citations

    10

    h-index

  3. Information and Computation

    6 publications · 554 citations

    6

    h-index

  4. Mathematical Structures in Computer Science

    MSCS · 6 publications · 470 citations

    6

    h-index

  5. BRICS Report Series

    4 publications · 72 citations

    4

    h-index

1–5