Concepedia

Sequential Statements

Sequential Statements is a category of executable VHDL syntax elements within a behavioral architecture that are interpreted in a sequentially ordered manner, distinguished from concurrent statements by their dependency on explicit control flow and execution order within processes or subprograms.

12

Publications

563

Citations

27

Authors

12

Institutions

Publications per year

2017–2026

0

Parents

Publications

12

Program algebra for sequential code

J.A. Bergstra, M.E. Loots · The Journal of Logic and Algebraic Programming · 2002 · 126 citations

, , +10

Sequential formula translation

K. Samelson, Friedrich L. Bauer · Communications of the ACM · 1983 · 101 citations · Full text

, , +13

Sequential formula translation

K. Samelson, Friedrich L. Bauer · Communications of the ACM · 1960 · 85 citations · Full text

, , +13

Sequential operators in computability logic

Giorgi Japaridze · Information and Computation · 2008 · 58 citations · Full text

, , +9

Procedure exlining

Frank Vahid · 1995 · 33 citations

, , +15

1–5 of 12

Authors

27

  1. FL
    Friedrich L. Bauer

    Johannes Gutenberg University Mainz, Germany

    2 publications · 186 citations

    2

    h-index

  2. KS
    K. Samelson

    Johannes Gutenberg University Mainz, Germany

    2 publications · 186 citations

    2

    h-index

  3. SD
    Susmita Das

    National Institute of Technology Rourkela, India

    1 publications · 30 citations

    1

    h-index

  4. GJ
    Giorgi Japaridze

    Villanova University, United States

    1 publications · 58 citations

    1

    h-index

  5. JL
    Jeffry L. Hirst

    Appalachian State University, United States

    1 publications · 18 citations

    1

    h-index

1–5 of 27

Institutions

12

  1. Johannes Gutenberg University Mainz

    Mainz, Germany

    2 h-index

    4 publications

    372 citations

  2. Appalachian State University

    Boone, United States

    1 h-index

    2 publications

    36 citations

  3. Marshall University

    Huntington, United States

    1 h-index

    2 publications

    36 citations

  4. IBM Research - Thomas J. Watson Research Center

    Yorktown Heights, United States

    1 h-index

    1 publications

    26 citations

  5. Northeastern University

    Boston, United States

    1 h-index

    1 publications

    28 citations

  6. Rice University

    Houston, United States

    1 h-index

    2 publications

    52 citations

  7. Villanova University

    Radnor, United States

    1 h-index

    1 publications

    58 citations

  8. Kobe University

    Kobe, Japan

    1 h-index

    6 publications

    78 citations

1–8 of 12

Venues

  1. Communications of the ACM

    2 publications · 186 citations

    2

    h-index

  2. The Journal of Logic and Algebraic Programming

    1 publications · 126 citations

    1

    h-index

  3. New Generation Computing

    1 publications · 13 citations

    1

    h-index

  4. Notre Dame Journal of Formal Logic

    1 publications · 18 citations

    1

    h-index

  5. The Journal of Logic Programming

    1 publications · 19 citations

    1

    h-index

1–5