HYPE: a process algebra for compositional flows and emergent behaviour

Vashti Galpin, Luca Bortolussi, Jane Hillston

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolithically, often with the differential equations embedded explicitly in the syntax of the process algebra expression. In HYPE an alternative approach is taken which offers finer-grained modelling with each flow or influence affecting a variable modelled separately. The overall behaviour then emerges as the composition of these flows. This approach is supported by an operational semantics which distinguishes states as collections of flows and which is supported by an equivalence which satisfies the property that bisimilar HYPE models give rise to the same sets of continuous behaviours.
Original languageEnglish
Title of host publicationCONCUR 2009 - Concurrency Theory
Subtitle of host publication20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
EditorsMario Bravetti, Gianluigi Zavattaro
PublisherSpringer-Verlag GmbH
Pages305-320
Number of pages16
ISBN (Print)978-3-642-04080-1
DOIs
Publication statusPublished - 2009

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
Volume5710
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Dive into the research topics of 'HYPE: a process algebra for compositional flows and emergent behaviour'. Together they form a unique fingerprint.

Cite this