|
|||||
|
|
Closures of may-, should- and must-convergences for contextual equivalence |
|
| Authors: | Manfred Schmidt-Schauß David Sabel |
| Affiliation: | FB Informatik und Mathematik, Institut für Informatik, Goethe-Universität, Postfach 11 19 32, D-60054 Frankfurt, Germany |
| Abstract: | |
| Keywords: | Formal semantics Programming calculi Program correctness |
| 本文献已被 ScienceDirect 等数据库收录！ | |