✦ LIBER ✦

τ-Bisimulations and full abstraction for refinement of actions

✍ Scribed by F. Cherief; Ph. Schnoebelen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axiomatizing ST Bisimulation for a Proce

✍ Mario Bravetti; Roberto Gorrieri 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 471 KB

Refinement of actions and equivalence no

✍ Rob van Glabbeek; Ursula Goltz 📂 Article 📅 2001 🏛 Springer-Verlag 🌐 English ⚖ 739 KB

ChemInform Abstract: Enantioselective an

✍ Andrei V. Malkov; Mikhail A. Kabeshov; Maciej Barlog; Pavel Kocovsky 📂 Article 📅 2009 🏛 John Wiley and Sons ⚖ 45 KB 👁 1 views

Committee reports**For action, see Abstr

📂 Article 📅 1935 🏛 Elsevier ⚖ 487 KB

ChemInform Abstract: Offgas Recycle for

✍ James W. Blackburn; Zhe Wang; Mahesh Mudragaddam 📂 Article 📅 2008 🏛 John Wiley and Sons ⚖ 15 KB

ChemInform Abstract: Structure Refinemen

✍ Trinath Mishra; Rolf-Dieter Hoffmann; Christian Schwickert; Rainer Poettgen 📂 Article 📅 2011 🏛 John Wiley and Sons ⚖ 20 KB 👁 2 views