Talk "A structural hybrid logic for CSP and other process algebras "

by Till Mossakowski

Sun, 04 September 2011 at 10:00 am in Winchester, United Kingdom

Joint work with: Lutz Schröder

Abstract: Based on Ichiro Hasuo's compositional semantics of GSOS-based process operators, we equip CSP with a compositional transition system semantics. Moreover, we develop a structural hybrid logic for specifying abstract requirements. These requirements can be successively refined to a design, thereby introducing CSP process operators (like parallel composition) - these are all available in the logic, until a pure CSP process is reached. The relation between CSP and the structural hybrid logic is formalised as an institution comorphism that embeds CSP into the logic.