An exercise in structural congruence

  • Authors:

  • Joost Engelfriet;Tjalling Gelsema

  • Affiliations:

  • LIACS, Leiden University, RA Leiden, The Netherlands;LIACS, Leiden University, RA Leiden, The Netherlands

  • Venue:
  • Information Processing Letters
  • Year:
  • 2007

Quantified Score

Hi-index 0.89

Visualization

Abstract

Milner's structural congruence is decidable for the pi-calculus without restriction, in exponential space.