Time-stamped actions in $p$CRL algebras

  • Authors:

  • Mark B. Zwaag

  • Affiliations:

  • -

  • Venue:
  • Time-stamped actions in $p$CRL algebras
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present two extensions of \pcrl\ with time-stamped actions: \pcrlat\ for absolute time and \pcrlrt\ for relative time. We define 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.