3 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.SE2009★ 3 cited
Can Component/Service-Based Systems Be Proved Correct?
Christian Attiogbe
Component-oriented and service-oriented approaches have gained a strong enthusiasm in industries and academia with a particular interest for service-oriented approaches. A componen…
cs.SE2009★ 1 cited
Modelling and Analysing Dynamic Decentralised Systems
Christian Attiogbe
We introduce a method to specify and analyse decentralised dynamic systems; the method is based on the combination of an event-based multi-process system specification approach wit…
cs.LO2005
Semantic Embedding of Petri Nets into Event-B
Christian Attiogbe
We present an embedding of Petri nets into B abstract systems. The embedding is achieved by translating both the static structure (modelling aspect) and the evolution semantics of…