Name
Abstract | ||
|---|---|---|
This paper presents a new property between processes arising from a set of relations called weak conformations. The largest, called weak conformance, is analogous to Milner's observational equivalence. Unlike observational equivalence, however, weak conformance is not an equivalence but rather a preorder between processes. Like the previous property of logic conformance, weak conformance allows behaviors in the implementation that are unreachable in the specification. Unlike logic conformance, however, weak conformance exploits output concurrencies and allows interleaving of extraneous output actions in the implementation. Finally, reasonable restrictions in CCS syntax strengthen weak conformance to a precongruence. The resulting property, congruent weak conformance, forms a partial ordering among processes. As a precongruence, it models safe substitution of hardware. |
Year | DOI | Venue |
|---|---|---|
2002 | 10.1007/3-540-36135-9_3 | FORTE |
Keywords | Field | DocType |
partial order,previous property,weak conformation,resulting property,new property,congruent weak conformance,logic conformance,weak conformance,observational equivalence,extraneous output action,output concurrencies | Discrete mathematics,Observational equivalence,Computer science,Concurrency,Preorder,Theoretical computer science,Formal specification,Equivalence (measure theory),Congruence (geometry),Process calculus,Partially ordered set | Conference |
Volume | ISSN | ISBN |
2529 | 0302-9743 | 3-540-00141-7 |
Citations | PageRank | References |
1 | 0.36 | 17 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ronald W. Brower | 1 | 1 | 0.36 |
| Kenneth S. Stevens | 2 | 185 | 25.65 |