Bisimulation for Models in Concurrency
Authors:
Mogens Nielsen;Christian Clausen
Affiliations:
-;-
Venue:
CONCUR '94 Proceedings of the Concurrency Theory
Year:
1994
Citing
0
Cited
1
Automatic verification of sequential infinite-state processes
Automatic verification of sequential infinite-state processes
Quantified Score
Hi-index
0.00
Visualization
Abstract