✦ LIBER ✦

Characterizing bisimilarity of value-passing parametrised processes

✍ Scribed by Pawel Paczkowski

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

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Towards characterizing bisimilarity of v

Towards characterizing bisimilarity of value-passing processes with context-free control

✍ Pawel 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 432 KB

A v alue-passing version of normed context-free processes is considered, where process behaviours depend on a global state of data variables. The problem of characterizing bisimilarity of such processes is posed. A solution of the formulated problem is presented for a restricted class of processes a

A complexity analysis of bisimilarity fo

A complexity analysis of bisimilarity for value-passing processes

✍ Michele Boreale; Luca Trevisan 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 243 KB

We study the complexity of deciding bisimilarity between non-deterministic processes with explicit primitives for manipulating data values. In particular, we consider a language with valuepassing (input/output of data) and parametric deÿnitions of processes. We distinguish the case in which data can

Characterization of vector valued, gauss

Characterization of vector valued, gaussian, stationary, markov processes

✍ Henryk Gzyl 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 187 KB