Object-oriented hybrid systems of coalgebras plus monoid actions
type: Item
instance of: scholarly article
title: Object-oriented hybrid systems of coalgebras plus monoid actions
zbMATH Open document ID: 0944.68122
DOI: 10.1016/S0304-3975(99)00213-3
author: Bart Jacobs
published in: Theoretical Computer Science
publication date: 2000-08-21T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1493213
describes a project that uses: Eiffel
MaRDI profile type: Publication
cites work: Q3992552
cites work: The algorithmic analysis of hybrid systems
cites work: A Common Framework for Automata Theory and Control Theory
cites work: Q3997112
cites work: Proving the correctness of behavioural implementations
cites work: Q3221381
cites work: Minimal realization of machines in closed categories
cites work: Realization is universal
cites work: Discrete-time machines in closed monoidal categories. I
cites work: Q4942101
cites work: Q4067388
cites work: Mongruences and cofree coalgebras
cites work: Q4355684
cites work: Q5638871
cites work: Q4371400
cites work: Q3992568
cites work: Q4079396
cites work: An approach to object semantics based on terminal co-algebras
cites work: Q4385539
cites work: CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
description: scientific article; zbMATH DE number 1493213