We present two extensions of pCRL with time-stamped actions: pCRL for absolute time and pCRLr for relative time. We deene timed bisimilarity for both versions and prove that the given axiomatisations are ground complete, provided that the data types have built-in equality and Skolem functions. We base the completeness proofs on the completeness results for untimed pCRL.

We present two extensions of pCRL with time-stamped actions: pCRL for absolute time and pCRLr for relative time. We de ne timed bisimilarity for both versions and prove that the given axiomatisations are ground complete, provided that the data types have built-in equality and Skolem functions. We base the completeness proofs on the completeness results for untimed pCRL. 1991 Mathematics Subject...

We describe a linearization algorithm for parallel pCRL processes similar to the one implemented in the linearizer of the μCRL Toolset. This algorithm finds its roots in formal language theory: the ‘grammar’ defining a process is transformed into a variant of Greibach Normal Form. Next, any such form is further reduced to linear form, i.e., to an equation that resembles a right-linear, data-par...

We describe a linearization algorithm for μCRL processes, similar to the one described in [21] for a subset of the language called parallel pCRL. This algorithm finds its roots in formal language theory: the ‘grammar’ defining a process is transformed into a variant of Greibach Normal Form. Next, any such form is further reduced to linear form, i.e., to an equation that resembles a right-linear...

We describe a linearization algorithm for μCRL processes, similar to the one described in [21] for a subset of the language called parallel pCRL. This algorithm finds its roots in formal language theory: the ‘grammar’ defining a process is transformed into a variant of Greibach Normal Form. Next, any such form is further reduced to linear form, i.e., to an equation that resembles a right-linear...

ing from the data in a specification is in many situations undesirable. As mentioned in the prelude to this chapter, the process languages pCRL, pCRLt and μCRLt are designed to support the specification of data-dependent systems. The data, and the datatypes, used in e.g. μCRLt-specifications are specified using the theoretically sound and flexible (yet impractical) framework of (equational) abs...

We tested the influence of four polymorphisms and gene duplication in CYP2D6 on in vivo enzyme activity in a Chilean mestizo population in order to identify the most relevant genetic profiles that account for observed phenotypes in this ethnic group. CYP2D6*2 (2850C>T), *3 (2549A>del), *4 (1846G>A), *17 (1023C>T) and gene duplication were determined by PCR-RFLP or PCRL in a group of 321 healthy...

01' II whe fol'll call esta onl whf:' tem tive veil 81 fal' pcrl chi! hut reg intl' A pos of p as a t.im ing inte Itt R Thl\ T HERE is an objection, already historiCILI, against the universal validity of tim Second Law of Thermodynamics, which illdeed looks rather ominous. The ohjectioll 1M embodied in the notion of :\Iaxwell's dcnlllll, who in a different form appear... en'n nowlL days again a...