For the most recent entries see the Petri Nets Newsletter.

Keyword: strong bisimilarity

Alvarez, C.; Balcazar, J.L.; Gabarro, J.:
Parallel Complexity in the Design and Analysis of Concurrent Systems. 1991.
Autant, C.; Belmesk, Z.; Schnoebelen, Ph.:
Strong Bisimilarity on Nets Revisited. 1991.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography