We define a specification language called `{it timed $mu CRL$'. This language is designed to describe communicating processes employing data and time. Timed $mCRL$ is the successor of $mCRL$ cite{GroPo94a. It differs in two main aspects. It is possible to make explicit reference to time using a new `{it at' operator; $pat{t$ is the process $p$ where the first action must take place at time $t$. Furthermore, a distinction has been made between constructors and functions in the datatypes. Care has been taken that every $mu$CRL specification is also a correct timed $mu$CRL specification with exactly the same meaning.

Requirements/Specifications (acm D.2.1), Formal Definitions and Theory (acm D.3.1), Language Constructs and Features (acm D.3.3)
None of the above, but in MSC2010 section 68Mxx (msc 68M99), None of the above, but in MSC2010 section 68Nxx (msc 68N99)
CWI
Software Engineering [SEN]

Groote, J.F. (1997). The syntax and semantics of timed $ mu $ CRL. Software Engineering [SEN]. CWI.