An algebraic framework for urgency
type: Item
instance of: scholarly article
title: An algebraic framework for urgency
zbMATH Open document ID: 1007.68119
author: Sébastien Bornot
author: Joseph Sifakis
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1853138
zbMATH Keywords: timed automata
MaRDI profile type: Publication
full work available at URL: inco.2000.2999
OpenAlex ID: W2025975926
cites work: The algorithmic analysis of hybrid systems
cites work: Q4727412
cites work: A process algebra of communicating shared resources with dense time and priorities
cites work: Priorities in process algebras
cites work: A process algebra with distributed priorities
cites work: Q4889347
cites work: Symbolic model checking for real-time systems
cites work: Q3777424
cites work: Calculi for synchrony and asynchrony
cites work: Q3992568
cites work: Compositional specification of timed systems
DOI: 10.1006/INCO.2000.2999
description: scientific article; zbMATH DE number 1853138