✦ LIBER ✦

Bisimilarity is decidable in the union of normed BPA and normed BPP processes

✍ Scribed by I. Cerná; M. Kretínský; A. Kucera

Publisher: Elsevier Science
Year: 1997
Tongue: English
Weight: 31 KB
Volume: 5
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80675-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Deciding bisimilarity of normed context-

✍ Dung T. Huynh; Lu Tian 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 915 KB

A short proof of the decidability of bis

A short proof of the decidability of bisimulation for normed bpa-processes

✍ Jan Friso Groote 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 388 KB

Correction and transformation of normati

Correction and transformation of normative neurophysiological data: Is there added value in the diagnosis of distal symmetrical peripheral neuropathy?

✍ John C. Mchugh; Sean Connolly 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 684 KB

## Abstract ## Introduction: Despite theoretical advantages, the practical impact of mathematical correction of normative electrodiagnostic data is poorly quantified. ## Methods: One hundred five healthy volunteers had clinical and neurophysiological assessment. The effects of age, height, gende

Accuracy of normal approximation for the

Accuracy of normal approximation for the maximum likelihood estimator and Bayes estimators in the Ornstein–Uhlenbeck process using random normings

✍ J.P.N. Bishwal 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 124 KB

Group processes in food choices: The rol

Group processes in food choices: The role of ethnic identity and perceived ethnic norms upon intentions to purchase ethnical food products

✍ Anna Maria Nenci; Giuseppe Carrus; Pierluigi Caddeo; Antonella Meloni 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 79 KB 👁 2 views