scientific article; zbMATH DE number 1956646

MaRDI QIDQ4418858zbMATH OpenFDO

Authors William C. Rounds, Hosung Song

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2623/26230435.htm

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• A calculus of mobile processes. I
• Timed extensions of calculus
• Hybrid Systems: Computation and Control
• -calculi
• -calculus semantics of object-oriented programming languages

Cited in

(17)

• An algebra of hybrid systems
• Hybrid process algebra
• Process algebra for hybrid systems
• A probabilistic calculus of cyber-physical systems
• Continuity controlled hybrid automata
• Compositional modeling and refinement for hierarchical hybrid systems
• Syntax and consistent equation semantics of hybrid Chi
• Pure bigraphs: structure and dynamics
• Relating hybrid chi to other formalisms
• HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
• Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
• Repairing time-determinism in the process algebra for hybrid systems
• HYPE: hybrid modelling by composition of flows
• An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
• HYPE Applied to the Modelling of Hybrid Biological Systems
• A calculus of cyber-physical systems
• Modular analysis of distributed hybrid systems using post-regions

This page was built for publication:

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