✦ LIBER ✦

Non-interleaving bisimulation equivalences on Basic Parallel Processes

✍ Scribed by Sibylle Fröschle; Petr Jančar; Slawomir Lasota; Zdeněk Sawa

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Undecidable equivalences for basic paral

✍ Hans Hüttel; Naoki Kobayashi; Takashi Suto 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 401 KB

Decidability of strong bisimulation of b

✍ Jitka Stríbrná 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 27 KB

Decidability of performance equivalence

✍ Sławomir Lasota 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 338 KB

Equivalency-processing parallel photonic

✍ Detofsky, Abram ;Choo, Peng Yin ;Louri, Ahmed 📂 Article 📅 2000 🏛 The Optical Society 🌐 English ⚖ 965 KB

Parallel processing scheme of a basic bl

✍ Hiroki Honda; Hironori Kasahara; Hironori Kasahara; Seinosuke Narita 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 1010 KB

Catalytic and non-catalytic flow-pyrolys

✍ Yuki Sekiguchi; Kenneth J. Klabunde 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 530 KB