A complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data

  • Authors:

  • Jan F Groote;S. P. Luttik

  • Affiliations:

  • -;-

  • Venue:
  • A complete axiomatisation of branching bisimulation 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 silent step and a generalised operation $\gsum{}$ that allows explicit treatment of \emph{alternative quantification} over data, and we investigate the specific subclass formed by the algebras of finite processes modulo rooted branching bisimulation. We give a ground complete axiomatisation for those branching bisimulation algebras of which the data part has built-in equality and Skolem functions.