scientific article
From MaRDI portal
Publication:3796730
zbMath0651.68034MaRDI QIDQ3796730
Alberto Pettorossi, Stefano Kasangian, Anna Labella
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
categorical semanticsenriched categoriesmonoidal closed categorylocal calculuscategorical model for distributed computationsinternal hom structuresynchronization calculus
Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10) Theory of operating systems (68N25) Enriched categories (over closed or monoidal categories) (18D20)
This page was built for publication: