Initial Algebra and Final Coalgebra Semantics for Concurrency.

Jan J. M. M. Rutten Daniele Turi

Published in: REX School/Symposium (1993)

Keyphrases

algebraic structure
data model
conceptual model
database systems
logic programming
formal semantics
relational algebra
transaction processing
relational data model
algebraic operations
algebraic expressions
databases
query language
reasoning tasks
set theory