Matches in SemOpenAlex for { <https://semopenalex.org/work/W1880786369> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1880786369 abstract "In a previous publication, we enumerated all stuttering-insensitive linear-time (in a well-defined sense) congruences with respect to action prefix, hiding, relational renaming, and parallel composition for finite labelled transition systems. There are 20 of them. They are built from the alphabet, traces, two kinds of divergence traces, and five kinds of failures. Now we remove the finiteness assumption. To re-establish the congruence property, four kinds of infinite traces are needed. Some congruences split to two and some to three, yielding altogether 40 congruences. Like its predecessor, because of lack of space, also this publication concentrates on proving the absence of more congruences." @default.
- W1880786369 created "2016-06-24" @default.
- W1880786369 creator A5062460264 @default.
- W1880786369 date "2012-01-01" @default.
- W1880786369 modified "2023-10-06" @default.
- W1880786369 title "All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs" @default.
- W1880786369 cites W1506588809 @default.
- W1880786369 cites W1533492668 @default.
- W1880786369 cites W1552488915 @default.
- W1880786369 cites W1588497049 @default.
- W1880786369 cites W1994013545 @default.
- W1880786369 cites W2003009718 @default.
- W1880786369 cites W2107144615 @default.
- W1880786369 cites W2128510433 @default.
- W1880786369 cites W2170218284 @default.
- W1880786369 cites W3101591573 @default.
- W1880786369 doi "https://doi.org/10.1007/978-3-642-32940-1_13" @default.
- W1880786369 hasPublicationYear "2012" @default.
- W1880786369 type Work @default.
- W1880786369 sameAs 1880786369 @default.
- W1880786369 citedByCount "0" @default.
- W1880786369 crossrefType "book-chapter" @default.
- W1880786369 hasAuthorship W1880786369A5062460264 @default.
- W1880786369 hasConcept C112876837 @default.
- W1880786369 hasConcept C118615104 @default.
- W1880786369 hasConcept C132074034 @default.
- W1880786369 hasConcept C138885662 @default.
- W1880786369 hasConcept C141603448 @default.
- W1880786369 hasConcept C207390915 @default.
- W1880786369 hasConcept C2524010 @default.
- W1880786369 hasConcept C33923547 @default.
- W1880786369 hasConcept C41008148 @default.
- W1880786369 hasConcept C41895202 @default.
- W1880786369 hasConcept C9973445 @default.
- W1880786369 hasConceptScore W1880786369C112876837 @default.
- W1880786369 hasConceptScore W1880786369C118615104 @default.
- W1880786369 hasConceptScore W1880786369C132074034 @default.
- W1880786369 hasConceptScore W1880786369C138885662 @default.
- W1880786369 hasConceptScore W1880786369C141603448 @default.
- W1880786369 hasConceptScore W1880786369C207390915 @default.
- W1880786369 hasConceptScore W1880786369C2524010 @default.
- W1880786369 hasConceptScore W1880786369C33923547 @default.
- W1880786369 hasConceptScore W1880786369C41008148 @default.
- W1880786369 hasConceptScore W1880786369C41895202 @default.
- W1880786369 hasConceptScore W1880786369C9973445 @default.
- W1880786369 hasLocation W18807863691 @default.
- W1880786369 hasOpenAccess W1880786369 @default.
- W1880786369 hasPrimaryLocation W18807863691 @default.
- W1880786369 hasRelatedWork W1503075583 @default.
- W1880786369 hasRelatedWork W159680751 @default.
- W1880786369 hasRelatedWork W1843730787 @default.
- W1880786369 hasRelatedWork W1845829557 @default.
- W1880786369 hasRelatedWork W1852925495 @default.
- W1880786369 hasRelatedWork W1904594948 @default.
- W1880786369 hasRelatedWork W2017031131 @default.
- W1880786369 hasRelatedWork W2086295015 @default.
- W1880786369 hasRelatedWork W2146204372 @default.
- W1880786369 hasRelatedWork W2159145118 @default.
- W1880786369 hasRelatedWork W2301491978 @default.
- W1880786369 hasRelatedWork W2468807326 @default.
- W1880786369 hasRelatedWork W2470388261 @default.
- W1880786369 hasRelatedWork W2481236662 @default.
- W1880786369 hasRelatedWork W2768571737 @default.
- W1880786369 hasRelatedWork W2906899752 @default.
- W1880786369 hasRelatedWork W3025199960 @default.
- W1880786369 hasRelatedWork W3203661940 @default.
- W1880786369 hasRelatedWork W82615150 @default.
- W1880786369 hasRelatedWork W832783488 @default.
- W1880786369 isParatext "false" @default.
- W1880786369 isRetracted "false" @default.
- W1880786369 magId "1880786369" @default.
- W1880786369 workType "book-chapter" @default.