24 citations · 43 across the 16 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.LO2017
Correct Composition of Dephased Behavioural Models
Juliana Bowles, Marco B. Caminati
Scenarios of execution are commonly used to specify partial behaviour and interactions between different objects and components in a system. To avoid overall inconsistency in speci…
cs.SE2017★ 1 cited
A Flexible Approach for Finding Optimal Paths with Minimal Conflicts
Juliana Bowles, Marco B. Caminati
Complex systems are usually modelled through a combination of structural and behavioural models, where separate behavioural models make it easier to design and understand partial b…
cs.LO2017★ 1 cited
A Verified Algorithm Enumerating Event Structures
Juliana Bowles, Marco B. Caminati
An event structure is a mathematical abstraction modeling concepts as causality, conflict and concurrency between events. While many other mathematical structures, including groups…