Repairing time-determinism in the process algebra for hybrid systems

DOI10.1016/J.TCS.2012.05.027zbMATH Open1282.68174OpenAlexW2096841663MaRDI QIDQ442292FDOQ442292

P. J. L. Cuijpers, U. Khadim

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

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

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)

Cites Work

• Hybrid process algebra
• Process algebra for hybrid systems
• Syntax and consistent equation semantics of hybrid Chi
• Notions of bisimulation and congruence formats for SOS with data
• Title not available (Why is that?)
• Psi-calculi: a framework for mobile processes with nominal data and logic
• Process algebra with propositional signals
• Process algebra with timing
• Hybrid I/O automata.
• Title not available (Why is that?)
• A Rule Format for Associativity
• Linearization of hybrid processes
• Rule Formats for Distributivity
• HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
• Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
• Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting
• Title not available (Why is that?)
• Repairing time-determinism in the process algebra for hybrid systems
• Title not available (Why is that?)
• Special issue: Hybrid Petri nets
• Redesign of a systems engineering language: formalisation of \(\chi\)

Cited In (3)

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

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)