On Efficiency Preorders - Archive ouverte HAL Access content directly
Conference Papers Year : 2013

On Efficiency Preorders

(1, 2) , (3)
1
2
3

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.
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)
Loading...

Dates and versions

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

Licence

Attribution - CC BY 4.0

Identifiers

Cite

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⟩
32 View
43 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More