On Efficiency Preorders

Abstract : 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.
Type de document :
Communication dans un congrès
Farhad Arbab; Marjan Sirjani. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. Springer Berlin Heidelberg, Lecture Notes in Computer Science, LNCS-8161, pp.83-94, 2013, Fundamentals of Software Engineering. 〈10.1007/978-3-642-40213-5_6〉
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01514657
Contributeur : Hal Ifip <>
Soumis le : mercredi 26 avril 2017 - 15:21:56
Dernière modification le : samedi 21 juillet 2018 - 13:54:01
Document(s) archivé(s) le : jeudi 27 juillet 2017 - 12:52:02

Fichier

978-3-642-40213-5_6_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Manish Gaur, S. Arun-Kumar. On Efficiency Preorders. Farhad Arbab; Marjan Sirjani. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. Springer Berlin Heidelberg, Lecture Notes in Computer Science, LNCS-8161, pp.83-94, 2013, Fundamentals of Software Engineering. 〈10.1007/978-3-642-40213-5_6〉. 〈hal-01514657〉

Partager

Métriques

Consultations de la notice

36

Téléchargements de fichiers

20