✦ LIBER ✦

Revisiting timing in process algebra

✍ Scribed by C.A. Middelburg

Book ID: 114414928
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 174 KB
Volume: 54
Category: Article
ISSN: 1567-8326
DOI: 10.1016/s1567-8326(02)00029-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Timed Process Algebras

✍ Jos Baeten 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 104 KB

Real-Time Systems || Process Algebra

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

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

Resources in process algebra

✍ Insup Lee; Anna Philippou; Oleg Sokolsky 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 450 KB

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