Titlebook: Recent Trends in Algebraic Development Techniques; 20th International W Till Mossakowski,Hans-J?rg Kreowski Conference proceedings 2012 Spr

NATAL

危險

0302-9743 proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany.The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics: foundations of algebraic spec

不給啤

Building a Modal Interface Theory for Concurrency and Dataent behavior of components with data states on the basis of interface theories. The dynamic aspects of a system are specified by modal I/O-transition systems, whereas changes of data states are specified by pre- and postconditions. In this setting we study refinement and behavioral compatibility of

Statins

密切關系

Favorable

Sharing in the Graph Rewriting Calculuserms. We study a reduction strategy for the graph rewriting calculus which is intended to maintain the sharing in the terms as long as possible. We show that the corresponding reduction relation is adequate w.r.t. the original semantics of the graph rewriting calculus, formalising the intuition that

heterogeneous

A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions assess their merits w.r.t. existing proposals. The new semantics is ., in the sense that it guarantees that distributed compensations may only be observed after a fault actually occurred. Moreover, the operational semantics is defined in terms of (1-safe) Petri nets and hence retains causality and

毀壞

Towards a First-Order Deontic Action Logicended logic is that it not only provides the standard quantifiers of first-order logic, but it also has similar algebraic operators for actions as for the propositional version of [1]. Since the pioneering works of Hintikka and Kanger, little advance has been made in developing first-order deontic l

原始

ARY

Lambda Expressions in , Architectural Specificationsin two manners: the first is purely model-theoretic and the second attempts to discharge model semantics conditions statically based on a diagram of dependencies between components (extended static semantics). In the case of lambda expressions, which are used to define the way generic units are buil