Titlebook: Recent Trends in Data Type Specification; 8th Workshop on Spec Michel Bidoit,Christine Choppy Conference proceedings 1993 Springer-Verlag B

ACTIN

編輯才信任

How to specify non determinism and true concurrency with algebraic term nets, Then we give them an interpretation in terms of .. The proposed logic acts as an axiomatisation allowing us to study the behavior of Algebraic Term Nets by deduction in such a logic. Moreover we present and discuss a general approach allowing us to write the axioms in such a way that our nets are e

發(fā)生

反復(fù)無常

flaggy

有惡臭

The object-based specification language ,: concepts, syntax, and semantics,s algebraic specifications, imperative programs, and path expressions. This paper presents new results on the formal semantics for some parts of the language. We introduce the semantics of the algebraic specification and the imperative program parts as well as a computational model. Since these defi

勉強

A soft stairway to institutions,n of institution properties by corresponding properties of such morphisms. Target of this work is the stepwise construction of a general framework for translating logics, and algebraic specifications using logical systems. Earlier translations of order-sorted conditional equational logic and of cond