On Efficiency Preorders - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

On Efficiency Preorders


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
Origin : Files produced by the author(s)

Dates and versions

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





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 View
50 Download



Gmail Facebook X LinkedIn More