work_loliau6uozc2zptu5oganhnwye
Releases
| 2015-04-10 |
Confluence Detection for Transformations of Labelled Transition Systems
published | article-journal doi:10.4204/eptcs.181.1 |
| 2015-04-10 |
Confluence Detection for Transformations of Labelled Transition Systems
submitted | article | v1 | ARXIV-1.0 |
What is a "Work"?
A Fatcat "work" groups a set of releases that are all editings
or editing stages of the same intellectual contribution. For example, a
pre-print and a published article may contain small differences, but still
reference the same underlying "work".