On the Decidability of Non-Interleaving Process Equivalences
Authors:
Astrid Kiehn
Affiliations:
-
Venue:
CONCUR '94 Proceedings of the Concurrency Theory
Year:
1994
Citing
0
Cited
1
On the Decidability of Non-Interleaving Process Equivalences
Fundamenta Informaticae
Quantified Score
Hi-index
0.00
Visualization
Abstract