Basic theorems for parallel processes in timed $\mu$CRL

  • Authors:

  • Jan F Groote;J. Wame

  • Affiliations:

  • -;-

  • Venue:
  • Basic theorems for parallel processes in timed $\'mu$CRL
  • Year:
  • 1998

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 $|$).