✦ LIBER ✦

Real time process algebra with time-dependent conditions

✍ Scribed by J.C.M. Baeten; C.A. Middelburg

Book ID: 114414897
Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 327 KB
Volume: 48
Category: Article
ISSN: 1567-8326
DOI: 10.1016/s1567-8326(01)00004-2

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

The Real-Time Process Algebra (RTPA)

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

Timed Process Algebras

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

Vibrations with time-dependent internal

Vibrations with time-dependent internal conditions

✍ H.I. Epstein 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 350 KB

Time-dependent transport process

✍ Alan Ping-I Wang 📂 Article 📅 1969 🏛 Elsevier Science 🌐 English ⚖ 763 KB

A compact and unified derivation of transport theory in the time-dependent case is presented. The development is based on the "star-product" which is an extension of that used by Redheffer (2). A "state form" and a corresponding "linearized system" are derived. The former is a system of non-linear

Parallel machine scheduling with time de

Parallel machine scheduling with time dependent processing times

✍ Zhi-Long Chen 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 598 KB