scientific article; zbMATH DE number 1499084
From MaRDI portal
Publication:4501137
zbMath0964.94505MaRDI QIDQ4501137
Publication date: 3 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
A graphical representation of relational formulae with complementation ⋮ On a Graph Calculus for Algebras of Relations ⋮ Bicategories of processes ⋮ Propositional Dynamic Logic with Storing, Recovering and Parallel Composition ⋮ Positive Fork Graph Calculus ⋮ A categorical framework for typing CCS-style process communication
This page was built for publication:
