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

On Efficiency Preorders

(1, 2) , (3)
1
2
3
Manish Gaur
• Function : Author
• PersonId : 1007017
S. Arun-Kumar
• Function : Author
• PersonId : 999411

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.

Domains

Computer Science [cs]

Dates and versions

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

Identifiers

• HAL Id : hal-01514657 , version 1
• DOI :

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