CSP, partial automata, and coalgebras.
type: Item
instance of: scholarly article
title: CSP, partial automata, and coalgebras.
zbMATH Open document ID: 1050.68099
DOI: 10.1016/S0304-3975(01)00019-6
published in: Theoretical Computer Science
publication date: 2002-07-15T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 1768001
zbMATH Keywords: Communicating sequential processes
zbMATH Keywords: Partial automata
zbMATH Keywords: Coalgebras
zbMATH Keywords: Final automata
author: Uwe Wolter
MaRDI profile type: Publication
cites work: Q4041460
cites work: Q3997501
cites work: Q3777424
cites work: Q4355684
cites work: Q3992568
cites work: Q3773301
cites work: Universal coalgebra: A theory of systems
cites work: Q4251915
cites work: The Category-Theoretic Solution of Recursive Domain Equations
cites work: Q4857386
cites work: Q4256311
description: scientific article; zbMATH DE number 1768001