Confluence Detection for Transformations of Labelled Transition Systems

by Anton Wijs

Published in Electronic Proceedings in Theoretical Computer Science by Open Publishing Association.

2015 Volume 181, p1-15

application/pdf 379.9 kB `file_ztwegztpvzbs7f4mhjqqzgkq4m`	pure.tue.nl (repository) web.archive.org (webarchive)
application/pdf 362.3 kB `file_uw25dr4xtbarpl4nl4265zekxq`	web.archive.org (webarchive) pure.tue.nl (web)
application/pdf 336.6 kB `file_g4vkhaxwurbdhlk6ngnr3iv7s4`	pure.tue.nl (web) web.archive.org (webarchive)
application/pdf 328.6 kB `file_l7k4r6acyncg5nurnsmlpe5may`	web.archive.org (webarchive) pdfs.semanticscholar.org (aggregator)
application/pdf 336.6 kB `file_nzihb5galjdsjognl4r5vmymzy`	pure.tue.nl (web) web.archive.org (webarchive)

Preserved and Accessible

Type article-journal
Stage

published

Date 2015-04-10
Language en ^?

DOI 10.4204/eptcs.181.1

Proceedings Metadata
Open Access Publication
In DOAJ
In ISSN ROAD
Not in Keepers Registry
ISSN-L: 2075-2180

Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)

Cite This

BibTeX
CSL-JSON
MLA
Harvard

Lookup Links

oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar

Catalog Record
Revision: 31229fc6-37c8-4a1d-a540-16f47aae7273
API URL: JSON

Confluence Detection for Transformations of Labelled Transition Systems release_utseprrngfdclokfojygdtj36m