Titlebook: Algebraic Methodology and Software Technology; 6th International Co Michael Johnson Conference proceedings 1997 Springer-Verlag Berlin Heid

有花

Deep Learning in Medical Image Analysisl-purpose process operators. Besides providing for natural models, special-purpose operators allow systems with large state spaces to be verified using systems with small state spaces. To support this verification technique we show that a kind of simulation relation on processes preserves all proces

ostrish

Keisuke Doman,Takaaki Konishi,Yoshito Mekadads. It is illustrated by examples and results obtained during an industrial verification project performed for a fault-tolerant system designed and implemented by Daimler-Benz Aerospace for the International Space Station ISS. The approach is based on CSP specifications and the model-checking tool F

现代

https://doi.org/10.1007/978-3-030-33128-3synchronization of threads. First we introduce a simple operational description of the sequential part of the language, where the memory is treated as an algebra with suitably axiomatized operations. Then, the interaction between threads via a shared memory is described in terms of structures, calle

installment

Lecture Notes in Computer Scienceubsorting is not modeled by set inclusions, but by injective embeddings allowing for more general models in which subtypes can have different data type representations. Furthermore, there are no restrictions like monotonicity, regularity or local filtration on signatures at all. Instead, the use of

Offstage

Zhenlin Xu,Zhengyang Shen,Marc Niethammeravailable within Circal, a process algebra that permits a natural representation of time without any . extension. The methodology is illustrated through several examples in the area of communication protocols and asynchronous hardware.

让步

exclamation

Abhay Shah,Michael D. Abramoff,Xiaodong Wufined in terms of refinement developments. Hierarchical models are shown to be equivalent to modular refinement developments. Modular refinement developments are a subset of refinement developments and refinement diagrams. A function is defined to extract the corresponding model from any refinement

myalgia

Akka Zemmari,Jenny Benois-Pineaud approach to specification. The notion of transaction incorporates various application domains, for instance transactions as abstractions from processes as known from refinement theory, transactions as abstractions from business processes as known in business process modelling or database transacti

晚来的提名

护航舰