Concepedia

Synchronous Models Of Computation

Synchronous Model of Computation is a computational paradigm within executable system models that belongs to the class of models of computation, distinguished by its assumption of discrete, globally coordinated time steps in which all operations are executed instantaneously and in lockstep.

170

Publications

11.5K

Citations

319

Authors

162

Institutions

Publications per year

2017–2026

9

Variants

Synchronous Computational Models

Parents

Publications

170

The synchronous data flow programming language LUSTRE

Nicolas Halbwachs, P. Caspi, Pascal Raymond et al. · Proceedings of the IEEE · 1991 · 1.5K citations · Full text

, , +15

The synchronous languages 12 years later

Albert Benveniste, P. Caspi, Stephen A. Edwards et al. · Proceedings of the IEEE · 2003 · 932 citations · Full text

, , +15

Process algebra for synchronous communication

J.A. Bergstra, Jan Willem Klop · Information and Control · 1984 · 880 citations · Full text

, , +6

The synchronous approach to reactive and real-time systems

Albert Benveniste, Gérard Berry · Proceedings of the IEEE · 1991 · 755 citations · Full text

, , +15

Reactive Modules

Rajeev Alur, Thomas A. Henzinger · Formal Methods in System Design · 1999 · 541 citations

, , +12

1–5 of 170

Authors

319

  1. JT
    Jean-Pierre Talpin

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

    14 publications · 443 citations

    11

    h-index

  2. EA
    Edward A. Lee

    University of California, Berkeley, United States

    10 publications · 477 citations

    10

    h-index

  3. AB
    Albert Benveniste

    Institut de Recherche en Informatique et Systèmes Aléatoires, France

    9 publications · 2.3K citations

    9

    h-index

  4. PL
    Paul Le Guernic

    Institut de Recherche en Informatique et Systèmes Aléatoires, France

    9 publications · 1.6K citations

    9

    h-index

  5. TG
    Thierry Gautier

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

    8 publications · 142 citations

    8

    h-index

1–5 of 319

Institutions

162

  1. University of California, Berkeley

    Berkeley, United States

    17 h-index

    37 publications

    2.2K citations

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

    Le Chesnay-Rocquencourt, France

    17 h-index

    81 publications

    5.6K citations

  3. Institut de Recherche en Informatique et Systèmes Aléatoires

    Rennes, France

    15 h-index

    45 publications

    5K citations

  4. Centre Inria de l'Université de Rennes

    Rennes, France

    10 h-index

    21 publications

    1.4K citations

  5. Centre National de la Recherche Scientifique

    Paris, France

    9 h-index

    21 publications

    2.3K citations

  6. Verimag

    Gières, France

    9 h-index

    19 publications

    2.3K citations

  7. Virginia Tech

    Blacksburg, United States

    5 h-index

    11 publications

    229 citations

  8. University of Kaiserslautern

    Kaiserslautern, Germany

    5 h-index

    12 publications

    406 citations

1–8 of 162

Venues

  1. ACM Transactions on Embedded Computing Systems

    TECS · 5 publications · 200 citations

    5

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 4 publications · 85 citations

    4

    h-index

  3. Science of Computer Programming

    4 publications · 453 citations

    4

    h-index

  4. Proceedings of the IEEE

    4 publications · 3.7K citations

    4

    h-index

  5. 3

    h-index

1–5