Temporal Process Language
≈ 1 min read
Names in other languages
No names in other languages are held for this entry yet.
Article bodies are English and are not machine-translated. A name in another language is not a translation of the article.
In theoretical computer science, Temporal Process Language (TPL) is a process calculus which extends Robin Milner's CCS with the notion of multi-party synchronization, which allows multiple process to synchronize on a global 'clock'. This clock measures time, though not concretely, but rather as an abstract signal which defines when the entire process can step onward.
In theoretical computer science, Temporal Process Language (TPL) is a process calculus which extends Robin Milner's CCS with the notion of multi-party synchronization, which allows multiple process to synchronize on a global 'clock'. This clock measures time, though not concretely, but rather as an abstract signal which defines when the entire process can step onward. Proc ::= & \alpha.Proc \\ | & \lfloor Proc \rfloor (Proc) \\ | & Proc + Proc \\ | & Proc\;|\;Proc \\ | & rec X.Proc \\ | & X \\ | & \Omega \\ | & Proc \setminus a \\ | & 0 \\ \end{matrix}
Text derived from https://en.wikipedia.org/w/index.php?oldid=1369831555 under CC BY-SA 4.0; modifications have been made.