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

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• 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.
• 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
• Repairing time-determinism in the process algebra for hybrid systems
• Special issue: Hybrid Petri nets
• Redesign of a systems engineering language: formalisation of \(\chi\)

Cited In (2)

• Analysis of three hybrid systems in timed \(\mu CRL\)
• Repairing time-determinism in the 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)