Matches in SemOpenAlex for { <https://semopenalex.org/work/W1997919759> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1997919759 endingPage "39" @default.
- W1997919759 startingPage "15" @default.
- W1997919759 abstract "We show that the following problem is decidable: given expressions E1 and E2 constructed from variables by the regular operations and shuffle, is the identity E1=E2 true for all instantiations of its variables by strings? Our proof uses the notations developed in the causal approach to concurrency. As a byproduct we obtain decidability of similar equivalence for other formalisms. In particular, we prove decidability of split equivalence for Petri nets. Our paper also provides an alternative proof for a characterization of split equivalence recently given by W. Vogler." @default.
- W1997919759 created "2016-06-24" @default.
- W1997919759 creator A5000604468 @default.
- W1997919759 creator A5007681536 @default.
- W1997919759 date "2002-02-01" @default.
- W1997919759 modified "2023-09-26" @default.
- W1997919759 title "Decidability of Split Equivalence" @default.
- W1997919759 cites W1547709259 @default.
- W1997919759 cites W1978996774 @default.
- W1997919759 cites W1981404622 @default.
- W1997919759 cites W1981983505 @default.
- W1997919759 cites W2039389554 @default.
- W1997919759 cites W2129402326 @default.
- W1997919759 cites W2407135768 @default.
- W1997919759 cites W2470948957 @default.
- W1997919759 cites W2913344232 @default.
- W1997919759 doi "https://doi.org/10.1006/inco.2001.3074" @default.
- W1997919759 hasPublicationYear "2002" @default.
- W1997919759 type Work @default.
- W1997919759 sameAs 1997919759 @default.
- W1997919759 citedByCount "0" @default.
- W1997919759 crossrefType "journal-article" @default.
- W1997919759 hasAuthorship W1997919759A5000604468 @default.
- W1997919759 hasAuthorship W1997919759A5007681536 @default.
- W1997919759 hasBestOaLocation W19979197591 @default.
- W1997919759 hasConcept C11413529 @default.
- W1997919759 hasConcept C118615104 @default.
- W1997919759 hasConcept C153269930 @default.
- W1997919759 hasConcept C171018156 @default.
- W1997919759 hasConcept C193702766 @default.
- W1997919759 hasConcept C199360897 @default.
- W1997919759 hasConcept C2524010 @default.
- W1997919759 hasConcept C2780069185 @default.
- W1997919759 hasConcept C33923547 @default.
- W1997919759 hasConcept C38677869 @default.
- W1997919759 hasConcept C41008148 @default.
- W1997919759 hasConcept C45357846 @default.
- W1997919759 hasConcept C94375191 @default.
- W1997919759 hasConceptScore W1997919759C11413529 @default.
- W1997919759 hasConceptScore W1997919759C118615104 @default.
- W1997919759 hasConceptScore W1997919759C153269930 @default.
- W1997919759 hasConceptScore W1997919759C171018156 @default.
- W1997919759 hasConceptScore W1997919759C193702766 @default.
- W1997919759 hasConceptScore W1997919759C199360897 @default.
- W1997919759 hasConceptScore W1997919759C2524010 @default.
- W1997919759 hasConceptScore W1997919759C2780069185 @default.
- W1997919759 hasConceptScore W1997919759C33923547 @default.
- W1997919759 hasConceptScore W1997919759C38677869 @default.
- W1997919759 hasConceptScore W1997919759C41008148 @default.
- W1997919759 hasConceptScore W1997919759C45357846 @default.
- W1997919759 hasConceptScore W1997919759C94375191 @default.
- W1997919759 hasIssue "1" @default.
- W1997919759 hasLocation W19979197591 @default.
- W1997919759 hasOpenAccess W1997919759 @default.
- W1997919759 hasPrimaryLocation W19979197591 @default.
- W1997919759 hasRelatedWork W1592552608 @default.
- W1997919759 hasRelatedWork W1997919759 @default.
- W1997919759 hasRelatedWork W2004029090 @default.
- W1997919759 hasRelatedWork W2120601740 @default.
- W1997919759 hasRelatedWork W2502459757 @default.
- W1997919759 hasRelatedWork W2786497411 @default.
- W1997919759 hasRelatedWork W3011442898 @default.
- W1997919759 hasRelatedWork W4220883533 @default.
- W1997919759 hasRelatedWork W4287241493 @default.
- W1997919759 hasRelatedWork W4289874384 @default.
- W1997919759 hasVolume "173" @default.
- W1997919759 isParatext "false" @default.
- W1997919759 isRetracted "false" @default.
- W1997919759 magId "1997919759" @default.
- W1997919759 workType "article" @default.