Titlebook: Abstract State Machines 2003: Advances in Theory and Practice; 10th International W Egon B?rger,Angelo Gargantini,Elvinia Riccobene Confere

現(xiàn)暈光

978-3-540-00624-4Springer-Verlag Berlin Heidelberg 2003

LATE

https://doi.org/10.1007/978-3-642-21992-4In this paper we survey recent work on generalising refinement in a state-based setting. Such generalisations challenge a number of assumptions embedded in the standard formalisation of Refinement in a language such as Z, and lead to simulation conditions that allow one to verify a refinement in a number of different contexts.

發(fā)微光

石墨

表狀態(tài)

Exploit

Morphine

lactic

Nutzenbewertung von Arzneimitteln. The model allows one to define units of computation and mobility and the formal rules for coordination among them in a highly decoupled manner. In this paper, we reexamine the expressive power of the Mobile UNITY coordination constructs from a new perspective rooted in the notion that disciplined

不公開(kāi)

constellation