scientific article; zbMATH DE number 3637652
From MaRDI portal
Publication:4198543
zbMath0409.93002MaRDI QIDQ4198543
Joseph A. Goguen, Susanna Ginali
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
General systems (93A10) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Graphs, diagram schemes, precategories (18A10)
Related Items (3)
Object interaction ⋮ Some fundamental algebraic tools for the semantics of computation. III: Indexed categories ⋮ Temporal theories as modularisation units for concurrent system specification
This page was built for publication: