Rule formats for timed processes
type: Item
instance of: scholarly article
zbMATH Open document ID: 1268.68128
DOI: 10.1016/S1571-0661(04)80498-5
author: Marco Kick
published in: Electronic Notes in Theoretical Computer Science
publication date: 2013-07-24T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 6190996
MaRDI profile type: Publication
cites work: A final coalgebra theorem
cites work: A theory of timed automata
cites work: GSOS for probabilistic transition systems (extended abstract)
cites work: Bisimulation can't be traced
cites work: Compositional SOS and beyond: A coalgebraic view of open systems
cites work: Q4536442
cites work: Q1294117
cites work: Q4499306
cites work: Combining a monad and a comonad
title: Rule formats for timed processes
description: scientific article; zbMATH DE number 6190996