Undecidability and completeness results for process algebras with alternative quantification over data

  • Authors:

  • Jan F Groote;S. P. Luttik

  • Affiliations:

  • -;-

  • Venue:
  • Undecidability and completeness results for process algebras with alternative quantification over data
  • Year:
  • 1998

Quantified Score

Hi-index 0.00

Visualization

Abstract

We define a class of process algebras with a generalised operation $\sum$ that allows explicit treatment of \emph{alternative quantification} over data, and investigate the specific subclass formed by the algebras of finite processes modulo strong bisimulation.