Repairing time-determinism in the process algebra for hybrid systems

DOI10.1016/J.TCS.2012.05.027MaRDI QIDQ442292zbMATHOpenAlexFDO

Authors U. Khadim, P. J. L. Cuijpers

Publication date 10 August 2012

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2012.05.027

zbMATH Keywords

hybrid systemsprocess algebrabisimulationinconsistencyoperational semanticsaxiomatic semanticsflow-determinismtime-determinism

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Process algebra for hybrid systems
• Hybrid process algebra
• A process algebra for timed systems
• Continuity controlled hybrid automata
• scientific article; zbMATH DE number 1696898

Cites work

• scientific article; zbMATH DE number 1956646 (Why is no real title available?)
• scientific article; zbMATH DE number 2061716 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• A Rule Format for Associativity
• HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
• Hybrid I/O automata.
• Hybrid process algebra
• Linearization of hybrid processes
• Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
• Notions of bisimulation and congruence formats for SOS with data
• Process algebra for hybrid systems
• Process algebra with propositional signals
• Process algebra with timing
• Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.
• Psi-calculi: a framework for mobile processes with nominal data and logic
• Reconciling urgency and variable abstraction in a hybrid compositional setting
• Redesign of a systems engineering language: formalisation of \(\chi\)
• Repairing time-determinism in the process algebra for hybrid systems
• Rule formats for distributivity
• Special issue: Hybrid Petri nets
• Syntax and consistent equation semantics of hybrid Chi

Cited in

(3)

• Repairing time-determinism in the process algebra for hybrid systems
• Process algebra for hybrid systems
• Analysis of three hybrid systems in timed \(\mu CRL\)

Describes a project that uses

Uses Software

• Coq
• LCF

This page was built for publication: Repairing time-determinism in the process algebra for hybrid systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q442292)