1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.FL2010★ 2 cited
On interleaving in {P,A}-Time Petri nets with strong semantics
Hanifa Boucheneb, Kamel Barkaoui
This paper deals with the reachability analysis of {P,A}-Time Petri nets ({P,A}-TPN in short) in the context of strong semantics. It investigates the convexity of the union of stat…
cs.LO2008★ 1 cited
Experiments in Model-Checking Optimistic Replication Algorithms
Hanifa Boucheneb, Abdessamad Imine
This paper describes a series of model-checking experiments to verify optimistic replication algorithms based on Operational Transformation (OT) approach used for supporting collab…