Hybrid process algebra
type: Item
instance of: scholarly article
title: Hybrid process algebra
zbMATH Open document ID: 1090.68071
published in: The Journal of Logic and Algebraic Programming
publication date: 2005-02-22T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2136083
zbMATH Keywords: Hybrid systems
zbMATH Keywords: Process algebra
zbMATH Keywords: Flows
zbMATH Keywords: Discrete events
zbMATH Keywords: Hybrid interaction
zbMATH Keywords: Discontinuities
author: P. J. L. Cuijpers
author: Michel A. Reniers
MaRDI profile type: Publication
Wikidata QID: Q114851569
full work available at URL: j.jlap.2004.02.001
OpenAlex ID: W2044667269
cites work: An introduction to hybrid dynamical systems
cites work: Algebraic process verification.
cites work: Formal specification and analysis of production systems
cites work: Redesign of a systems engineering language: formalisation of \(\chi\)
cites work: Process Algebra
cites work: Formal Modeling and Analysis of Timed Systems
cites work: Process algebra for hybrid systems
cites work: Q4418858
cites work: Q4503930
cites work: Hybrid I/O automata.
cites work: Differential Petri nets: representing continuous systems in a discrete-event world
cites work: Special issue: Hybrid Petri nets
cites work: Hybrid action systems
cites work: Analysis of three hybrid systems in timed \(\mu CRL\)
cites work: Compositionality issues in discrete, continuous, and hybrid systems
cites work: Control of systems integrating logic, dynamics, and constraints
cites work: Equivalence of hybrid dynamical models
cites work: Complementarity modeling of hybrid systems
cites work: Nonlinear regulation: The piecewise linear approach
cites work: Bisimulation relations for dynamical and control systems
cites work: O-minimal hybrid systems.
cites work: Q4211176
cites work: Q4400449
cites work: Q4857386
cites work: A calculus of communicating systems
cites work: Global renaming operators in concrete process algebra
cites work: Process algebra with timing
cites work: Mathematical methods of specification and synthesis of software systems '85. Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985
cites work: An axiomatic proof technique for parallel programs
cites work: Process algebra with propositional signals
cites work: Topological (bi-)simulation
cites work: Q2701735
cites work: The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
DOI: 10.1016/J.JLAP.2004.02.001
description: scientific article; zbMATH DE number 2136083