Interleaving isotactics - An equivalence notion on behaviour abstractions

Autor(en)
Artem Polyvyanyy and Jan Sürmeli and Matthias Weidlich
Zeitschrift
Theor. Comput. Sci.
Jahr
2018
Ausgabe
737
Seiten
1--18
Link
https://doi.org/10.1016/j.tcs.2018.01.005
DOI
10.1016/j.tcs.2018.01.005
Download .bib
Download .bib
Eingetragen von
Jan Sürmeli