Titlebook: Recent Trends in Algebraic Development Techniques; 14th International W Didier Bert,Christine Choppy,Peter D. Mosses Conference proceedings

Decibel

Transfusion

An Institution of Hybrid Systemsir relation with embedded systems (systems that interact with the . changing real-world). In order to deal with complex problems, compositional specification and verification methods are needed. Using the specification language of . as a starting point, an institution of hybrid systems is establishe

sundowning

TAIN

resilience

A General Algebraic Framework for Studying Modular Systemsnses. First, it is independent of the specification (or programming) formalism used to build modules as long as the formalism satisfies some algebraic properties. Moreover, we can combine modules built over different such formalisms. Secondly, our setting enables us to define compositional semantics

Encephalitis

History Preserving Bisimulation for Contextual Netsthout consuming them (non-destructive read operations). A first equivalence, simply called ., is based on Winskel’s prime event structures. A finer equivalence, called . (where “R” stands for “read”), relies on . [1], a generalization of prime event structures which gives a more faithful account of

學(xué)術(shù)討論會(huì)

A Model for Interaction of Agents and Environmentsmeans of labelled transition systems considered up to bisimilarity. The equivalence of agents is characterised in terms of an algebra of behaviours which is a continuous algebra with approximation and two operations: nondeterministic choice and prefixing. Environments are introduced as agents suppli

預(yù)定

FLING

From States to Historiesies are captured by system invariants that help to prove properties about state machines. Our approach provides a bridge from state-based system models defined by state transitions to the more abstract history views on systems and their components.

GREEN

Specification Refinement with System F – The Higher-Order Case these results to the higher-order case, we find it necessary firstly to develop an alternative simulation relation and secondly to extend the parametric PER-model interpretation, both in such a way as to observe data type abstraction barriers more closely.