Publication:2753681
From MaRDI portal
zbMath0973.08003MaRDI QIDQ2753681
Publication date: 11 November 2001
08A70: Applications of universal algebra in computer science
68Q55: Semantics in the theory of computing
06B35: Continuous lattices and posets, applications
Related Items
Unnamed Item, Equational properties of fixed-point operations in cartesian categories: An overview, A connection between concurrency and language theory, Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic?, Denotational fixed-point semantics for constructive scheduling of synchronous concurrency, Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview, The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics