Select Publications
Theses / Dissertations
, 2005, Formal composition and recovery policies in service-based business processes, http://dx.doi.org/10.26190/unsworks/21818
, 1995, Modèles du vrai parallélisme et bisimulations avant arrière, https://dspace.usthb.dz/handle/123456789/8492
, 1991, Implementation and Comparison of Multiversion Concurrency Control