✦ LIBER ✦

Timed Process Algebras

✍ Scribed by Jos Baeten

Book ID: 104444642
Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 104 KB
Volume: 52
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00224-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Revisiting timing in process algebra

✍ C.A. Middelburg 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 174 KB

Real-Time Systems || Process Algebra

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 191 KB 👁 2 views

Real time process algebra with time-depe

Real time process algebra with time-dependent conditions

✍ J.C.M. Baeten; C.A. Middelburg 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 327 KB

The Real-Time Process Algebra (RTPA)

✍ Yingxu Wang 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 370 KB

Absolute versus Relative Time in Process

Absolute versus Relative Time in Process Algebras

✍ Flavio Corradini 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 670 KB

Turning back time in Markovian process a

Turning back time in Markovian process algebra

✍ Peter G. Harrison 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 410 KB

Product-form solutions in Markovian process algebra (MPA) are constructed using properties of reversed processes. The compositionality of MPAs is directly exploited, allowing a large class of hierarchically constructed systems to be solved for their state probabilities at equilibrium. The paper cont