Combining data type and recursive process specifications using projection algebras

DOI10.1016/0304-3975(90)90049-NzbMATH Open0695.68015OpenAlexW2005828354MaRDI QIDQ910188FDOQ910188

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

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

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)

Cites Work

• Algebraic laws for nondeterminism and concurrency
• Initial Algebra Semantics and Continuous Algebras
• Title not available (Why is that?)
• A uniform approach to inductive posets and inductive closure
• On the algebraic specification of infinite objects - ordered and continuous models of algebraic types
• A calculus of communicating systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Processes and the denotational semantics of concurrency
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic specification of modules and their basic interconnections
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Completions of partially ordered sets and universal algebras

Cited In (9)

• Title not available (Why is that?)
• 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
• Uniform completion versus ideal completion of posets with projections
• Functorial theory of parameterized specifications in a general specification framework
• Quasi-injectivity of partially ordered acts
• Title not available (Why is that?)
• 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)