A relation algebraic approach to interaction categories
type: Item
instance of: scholarly article
title: A relation algebraic approach to interaction categories
zbMATH Open document ID: 0938.18006
DOI: 10.1016/S0020-0255(99)00021-3
author: Michael Winter
published in: Information Sciences
publication date: 2000-06-21T00:00:00Z
Mathematics Subject Classification ID: 18D10
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 03G15
zbMATH DE Number: 1394733
zbMATH Keywords: interaction categories
zbMATH Keywords: synchronization trees
zbMATH Keywords: concurrent system specifications
zbMATH Keywords: unitary division allegory
zbMATH Keywords: time-extended allegories
zbMATH Keywords: strongly guarded functors
MaRDI profile type: Publication
cites work: Q3992552
cites work: Q3995720
cites work: Squares and rectangles in relation categories. Three cases: Semilattice, distributive lattice and Boolean non-unitary
cites work: Relational Methods in Computer Science
cites work: Q5810602
cites work: Relation algebraic domain constructions
full work available at URL: s0020-0255(99)00021-3
OpenAlex ID: W2040172312
description: scientific article; zbMATH DE number 1394733