Process algebra for hybrid systems
type: Item
instance of: scholarly article
title: Process algebra for hybrid systems
zbMATH Open document ID: 1080.68073
author: C. A. Middelburg
author: J. A. Bergstra
published in: Theoretical Computer Science
publication date: 2005-06-10T00:00:00Z
full work available at URL: process-algebra-for-hybrid-systems(f2339464-0324-49f3-b983-5d18fe97af92).html
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2174877
zbMATH Keywords: Process algebra
zbMATH Keywords: Hybrid systems
zbMATH Keywords: Continuous relative timing
zbMATH Keywords: Propositional signals
zbMATH Keywords: State evolutions
zbMATH Keywords: State transitions
describes a project that uses: HyTech
MaRDI profile type: Publication
OpenAlex ID: W2077815947
cites work: Structural operational semantics.
cites work: The algorithmic analysis of hybrid systems
cites work: Q4038702
cites work: A theory of timed automata
cites work: Q4552455
cites work: Real time process algebra
cites work: Real space process algebra
cites work: Process algebra with propositional signals
cites work: Process algebra with timing: Real time and discrete time
cites work: Process algebra with timing
cites work: Process Algebra
cites work: Algebra of timed frames
cites work: Q5186720
cites work: Q3727367
cites work: Continuity controlled hybrid automata
cites work: Q4825707
cites work: Discrete time process algebra and the semantics of SDL
cites work: A calculus of durations
cites work: Hybrid systems
cites work: Q2757804
cites work: Topological (bi-)simulation
cites work: Hybrid process algebra
cites work: The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
cites work: Process algebra with guards: Combining hoare logic with process algebra
cites work: Analysis of three hybrid systems in timed \(\mu CRL\)
cites work: A process algebra for timed systems
cites work: Q4503930
cites work: Q4552473
cites work: HyTech: A model checker for hybrid systems
cites work: Q4953388
cites work: Hybrid I/O automata.
cites work: Q4264107
cites work: Variable binding operators in transition system specifications
cites work: Q4796539
cites work: Revisiting timing in process algebra.
cites work: An alternative formulation of operational conservativity with binding terms.
cites work: Q4248252
cites work: The algebra of timed processes, ATP: Theory and application
cites work: TIC: a tImed calculus
cites work: Q4418858
cites work: Q4367581
DOI: 10.1016/J.TCS.2004.04.019
description: scientific article; zbMATH DE number 2174877