Termination modulo equations by abstract commutation with an application to iteration

Authors:
Wan Fokkink;Hans Zantema
Affiliations:
Univ. of Utrecht, Utrecht, Netherlands;Univ. of Utrecht, Utrecht, Netherlands
Venue:
ACP '95 Proceedings from the international workshop on Algebra of communicating processes
Year:
1997

Citing 0
Cited 2

A menagerie of non-finitely based process semantics over BPA* - from ready simulation to completed traces

Mathematical Structures in Computer Science
Personalisation of web information systems - A term rewriting approach

Data & Knowledge Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract