Non Expansive epsilon-Bisimulations.

Conference Paper
Publication Date:
2008
Iris type:
Relazione (in Volume)
List of contributors:
Authors of the University:
Handle:
https://irinsubria.uninsubria.it/handle/11383/16023
Book title:
Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008
Published in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series