Fundamenta Informaticae
Fundamenta Informaticae
Hi-index | 0.00 |
Timed $\mucrl$ is a process algebra-based formalism for the specification and verification of parallel, communicating systems with explicit time \cite{Gr97}. In this paper various basic results are derived, such as theorems for {\it basic forms\/}, the expansion of terms with operators for parallelism, elimination of parallelism, and commutativity and associativity of the merge and communication merge (the operators $\|$ and $|$).