On Efficiency Preorders - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

On Efficiency Preorders

Résumé

Theories of efficiency preorders and precongruences for concurrent systems have been described in various papers. We describe a procedure to implement two of these precongruences. Considering the extra information that is needed to be maintained while computing efficiency preorders, our procedure with a complexity $O(n^{3}m)$, compares favourably with that for deciding observational equivalence ($O(n^{\alpha }m)$. Further, the algorithm may be plugged in to existing model-checkers such as the Concurrency-Workbench of the New Century (CWB-NC) without any significant overheads of space or time.
Fichier principal
Vignette du fichier
978-3-642-40213-5_6_Chapter.pdf (284.07 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01514657 , version 1 (26-04-2017)

Licence

Paternité

Identifiants

Citer

Manish Gaur, S. Arun-Kumar. On Efficiency Preorders. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.83-94, ⟨10.1007/978-3-642-40213-5_6⟩. ⟨hal-01514657⟩
39 Consultations
49 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More