𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Interconfigurational interactions and tensor operator equivalents

✍ Scribed by J.A. Tuszyński; J.M. Dixon


Book ID
108003042
Publisher
Elsevier Science
Year
1988
Tongue
English
Weight
644 KB
Volume
147
Category
Article
ISSN
0378-4371

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Operational equivalence for interaction
✍ Maribel Fernández; Ian Mackie 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 255 KB

The notion of contextual (or operational) equivalence is fundamental in the theory of programming languages. By setting up a notion of bisimilarity, and showing that it coincides with contextual equivalence, one obtains a simple coinductive proof technique for showing that two programs are equivalen