✦ LIBER ✦

The Real-Time Process Algebra (RTPA)

✍ Scribed by Yingxu Wang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

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

Timed Process Algebras

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

A Process Algebraic Approach to the Sche

✍ Hanene Ben-Abdallah; Jin-Young Choi; Duncan Clarke; Young Si Kim; Insup Lee; Hon 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 745 KB

Process algebraic modelling and analysis

✍ Insup Lee; Philippou, A.; Sokolsky, O. 📂 Article 📅 2002 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 608 KB

A process algebraic framework for specif

✍ Adnan Sherif; Ana Cavalcanti; He Jifeng; Augusto Sampaio 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 492 KB