On Finding Structural Deadlocks in EcatNets using a Logic of Concurrency - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal of Computing and Information Sciences Année : 1996

On Finding Structural Deadlocks in EcatNets using a Logic of Concurrency

Mohamed Bettaz
  • Fonction : Auteur
A. Chaoui
  • Fonction : Auteur
Fichier non déposé

Dates et versions

hal-01125427 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01125427 , version 1

Citer

Kamel Barkaoui, Mohamed Bettaz, A. Chaoui. On Finding Structural Deadlocks in EcatNets using a Logic of Concurrency. International Journal of Computing and Information Sciences, 1996, 2, pp.470-481. ⟨hal-01125427⟩

Collections

CNAM CEDRIC-CNAM
39 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More