On flowchart theories. II: The nondeterministic case

DOI10.1016/0304-3975(87)90114-9zbMath0642.68020OpenAlexW2111851448MaRDI QIDQ1101203

Gheorghe Ştefănescu

Publication date: 1987

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(87)90114-9

zbMATH Keywords

algebraic theorynondeterminismflowchart schemesdualistic propertiesmatrix theoriesrepetition function

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items

Some quasi-varieties of iteration theories ⋮ Matrix and matricial iteration theories. I ⋮ On flowchart theories. II: The nondeterministic case ⋮ The equational logic of fixed points ⋮ Completeness of Park induction ⋮ Program correctness and matricial iteration theories ⋮ Network algebra for asynchronous dataflow^∗ ⋮ A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization ⋮ The algebra of stream processing functions ⋮ Rewriting on cyclic structures: Equivalence between the operational and the categorical description ⋮ Equational logic of circular data type specification ⋮ Normal forms for algebras of connections. ⋮ Classes of finite relations as initial abstract data types. II

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Iterative and recursive matrix theories
• Algebras of iteration theories
• Correctness of recursive parallel nondeterministic flow programs
• Recursion and iteration in continuous theories: the M-construction
• Deterministic and nondeterministic flowchart interpretations
• Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
• On flowchart theories. II: The nondeterministic case
• Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I
• Partial abstract types
• Matricial theories
• Equidivisible semigroups
• Vector Iteration in Pointed Iterative Theories
• Initial Algebra Semantics and Continuous Algebras
• Two Complete Axiom Systems for the Algebra of Regular Events