A polynomial algorithm for deciding bisimilarity of normed context-free processes

Bibliographische Detailangaben

1. Verfasser:	Hirshfeld, Yoram (VerfasserIn)
Weitere Verfasser:	Jerrum, Mark (VerfasserIn), Moller, Faron (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Edinburgh LFCS, Dept. of Computer Science, Univ. of Edinburgh 1994
Schriftenreihe:	LFCS report series 94,286
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!