2 citations · 3 across the 3 of their papers we have counts for
4 papers
Structured Acyclic Nets
Mohammed Alahmadi, Salma Alharbi, Talal Alharbi +6
The concept of structured occurrence nets is an extension of that of occurrence nets which are directed acyclic graphs that represent causality and concurrency information concerni…
An Empirical Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems
Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce
This paper uses a case study to evaluate empirically three formalisms of different kinds for their suitability for the modelling and analysis of dynamic reconfiguration of dependab…
On Formalisms for Dynamic Reconfiguration of Dependable Systems
Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce +1
Three formalisms of different kinds - VDM, Maude, and basic CCSdp - are evaluated for their suitability for the modelling and verification of dynamic software reconfiguration using…
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
Manuel Mazzara, Anirban Bhattacharyya
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism…