scientific article; zbMATH DE number 1499084
From MaRDI portal
Publication:4501137
zbMATH Open0964.94505MaRDI QIDQ4501137FDOQ4501137
Authors: Carolyn Brown, Alan Jeffrey 
Publication date: 3 September 2000
Title of this publication is not available (Why is that?)
Recommendations
Cited In (9)
- A graphical representation of relational formulae with complementation
- Alternation in simple devices
- Title not available (Why is that?)
- A categorical framework for typing CCS-style process communication
- Positive Fork Graph Calculus
- Simple circuits are not that simple
- Propositional dynamic logic with storing, recovering and parallel composition
- On a Graph Calculus for Algebras of Relations
- Bicategories of processes
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4501137)
