Combining data type and recursive process specifications using projection algebras
type: Item
instance of: scholarly article
title: Combining data type and recursive process specifications using projection algebras
zbMATH Open document ID: 0695.68015
DOI: 10.1016/0304-3975(90)90049-N
author: Hartmut Ehrig
author: Francesco Parisi-Presicce
author: Paul Boehm
author: Catharina Rieckhoff
author: Cristian Dimitrovici
author: M. Große-Rhode
published in: Theoretical Computer Science
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68P05
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 4139269
zbMATH Keywords: process semantics
zbMATH Keywords: data type specification
zbMATH Keywords: algebraic semantics
zbMATH Keywords: process algebras
zbMATH Keywords: process specifications
MaRDI profile type: Publication
cites work: Q3900995
cites work: Q5186720
cites work: Q3742698
cites work: Completions of partially ordered sets and universal algebras
cites work: Algebraic specification of modules and their basic interconnections
cites work: Processes and the denotational semantics of concurrency
cites work: Q3738549
cites work: Q3221381
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: Algebraic laws for nondeterminism and concurrency
cites work: A calculus of communicating systems
cites work: Q3750113
cites work: Q3707383
cites work: Q3680247
cites work: On the algebraic specification of infinite objects - ordered and continuous models of algebraic types
cites work: Q4116078
cites work: Q3026326
cites work: A uniform approach to inductive posets and inductive closure
full work available at URL: 0304-3975(90)90049-n
OpenAlex ID: W2005828354
description: scientific article; zbMATH DE number 4139269