Final Semantics for Decorated Traces (Q3178274): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Normalize DOI. |
||
Property / DOI | |||
Property / DOI: 10.1016/j.entcs.2012.08.006 / rank | |||
Property / DOI | |||
Property / DOI: 10.1016/J.ENTCS.2012.08.006 / rank | |||
Normal rank |
Latest revision as of 20:27, 20 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Final Semantics for Decorated Traces |
scientific article |
Statements
Final Semantics for Decorated Traces (English)
0 references
8 July 2016
0 references
labelled transition systems
0 references
decorated traces
0 references
coalgebras
0 references
final Moore automata
0 references
0 references