An algebraic and algorithmic method for analysing transition systems
Authors:
A Dicky
Affiliations:
-
Venue:
Theoretical Computer Science
Year:
1986
Citing
0
Cited
1
Nivat's processes and their synchronization
Theoretical Computer Science
Quantified Score
Hi-index
5.23
Visualization
Abstract