Combining data type and recursive process specifications using projection algebras

DOI10.1016/0304-3975(90)90049-NMaRDI QIDQ910188zbMATH OpenOpenAlexFDO

Authors Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Cristian Dimitrovici, M. Große-Rhode

Publication date 1990

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

Full work available at URL https://doi.org/10.1016/0304-3975(90)90049-n

zbMATH Keywords

process algebrasalgebraic semanticsprocess semanticsdata type specificationprocess specifications

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 4080886
• scientific article; zbMATH DE number 475421
• Flat projection algebras
• scientific article; zbMATH DE number 3913659
• scientific article; zbMATH DE number 3967897

Cites work

• scientific article; zbMATH DE number 4014011 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3902005 (Why is no real title available?)
• scientific article; zbMATH DE number 3936495 (Why is no real title available?)
• scientific article; zbMATH DE number 3972172 (Why is no real title available?)
• scientific article; zbMATH DE number 3978362 (Why is no real title available?)
• scientific article; zbMATH DE number 3986626 (Why is no real title available?)
• scientific article; zbMATH DE number 3709584 (Why is no real title available?)
• scientific article; zbMATH DE number 3540387 (Why is no real title available?)
• scientific article; zbMATH DE number 3894457 (Why is no real title available?)
• A calculus of communicating systems
• A uniform approach to inductive posets and inductive closure
• Algebraic laws for nondeterminism and concurrency
• Algebraic specification of modules and their basic interconnections
• Completions of partially ordered sets and universal algebras
• Initial Algebra Semantics and Continuous Algebras
• On the algebraic specification of infinite objects - ordered and continuous models of algebraic types
• Processes and the denotational semantics of concurrency

Cited in

(9)

• scientific article; zbMATH DE number 475421 (Why is no real title available?)
• Down closed-quasi-injectivity of partially ordered acts
• The connection between initial and unique solutions of domain equations in the partial order and metric approach
• Functorial theory of parameterized specifications in a general specification framework
• Uniform completion versus ideal completion of posets with projections
• Quasi-injectivity of partially ordered acts
• scientific article; zbMATH DE number 4080886 (Why is no real title available?)
• Denotational linear time semantics and sequential composition
• Quasi injectivity and \(\theta\)-internal order sum in partially ordered acts

This page was built for publication: Combining data type and recursive process specifications using projection algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q910188)