On the Complexity of Deciding Behavioural Equivalences and Preorders

Authors:
Huttel H.;Shukla S.
Affiliations:
-;-
Venue:
On the Complexity of Deciding Behavioural Equivalences and Preorders
Year:
1996

Citing 0
Cited 2

P-Hardness of Equivalence Testing on Finite-State Processes

SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
A framework for automatically checking anonymity with µCRL

TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing

Quantified Score

Hi-index	0.00

Visualization

Abstract