Formalisation of asynchronous interactions
Large computing systems are generally built by connecting several distributed subsystems. The way these entities communicate is crucial to the proper functioning of the overall composed system. An in-depth study of these interactions makes sense in the context of the formal development and verificat...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2017
|
| Online Access: | http://oatao.univ-toulouse.fr/19493/1/CHEVROU_Florent.pdf Chevrou, Florent <http://www.idref.fr/223784222>. Formalisation of asynchronous interactions. PhD, Sûreté de Logiciel et Calcul à Haute Performance, Institut National Polytechnique de Toulouse, 2017 |