Strong bisimilarity on nets revisited (extended abstract)

Authors:
C. Autant;Z. Belmesk;Ph. Schnoebelen
Affiliations:
-;-;-
Venue:
PARLE '91 Proceedings on Parallel architectures and languages Europe : volume II: parallel languages: volume II: parallel languages
Year:
1991

Citing 0
Cited 2

Graph models for reachability analysis of concurrent programs

ACM Transactions on Software Engineering and Methodology (TOSEM)
Bisimulation and the reduction of Petri nets

ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets

Quantified Score

Hi-index	0.00

Visualization

Abstract