Matches in SemOpenAlex for { <https://semopenalex.org/work/W4205777715> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W4205777715 abstract "Open Automata (OA) are symbolic and parameterized models for open concurrent systems, where open means partially specified systems, which can be instantiated or assembled to build bigger systems. In previous work, a notion of equivalence named FH-Bisimulation was defined for OA, coming with both Strong and Weak flavors, where Weak means ignoring internal moves when they do not affect the external behavior. Both flavors have been proven to be congruent for the OA’s composition. In this paper, we propose a new definition of (weak) OA, that is both more expressive for encoding the behavior of parameterized systems and suitable as a finite encoding of weak OA. We name this meta (weak) OA and provide two methods to check their equivalence, either explicitly building the meta-WOA, or constructing their meta open transitions on-demand. The last strategy has better termination properties." @default.
- W4205777715 created "2022-01-26" @default.
- W4205777715 creator A5033816758 @default.
- W4205777715 creator A5053204257 @default.
- W4205777715 creator A5062143465 @default.
- W4205777715 date "2021-10-17" @default.
- W4205777715 modified "2023-09-28" @default.
- W4205777715 title "New Symbolic Model and Equivalences Checking for Open Automata" @default.
- W4205777715 cites W1607941371 @default.
- W4205777715 cites W2110117589 @default.
- W4205777715 cites W2487994048 @default.
- W4205777715 cites W2913663755 @default.
- W4205777715 cites W2995181781 @default.
- W4205777715 doi "https://doi.org/10.1109/smc52423.2021.9658672" @default.
- W4205777715 hasPublicationYear "2021" @default.
- W4205777715 type Work @default.
- W4205777715 citedByCount "0" @default.
- W4205777715 crossrefType "proceedings-article" @default.
- W4205777715 hasAuthorship W4205777715A5033816758 @default.
- W4205777715 hasAuthorship W4205777715A5053204257 @default.
- W4205777715 hasAuthorship W4205777715A5062143465 @default.
- W4205777715 hasConcept C112505250 @default.
- W4205777715 hasConcept C11413529 @default.
- W4205777715 hasConcept C118615104 @default.
- W4205777715 hasConcept C135315306 @default.
- W4205777715 hasConcept C165464430 @default.
- W4205777715 hasConcept C199360897 @default.
- W4205777715 hasConcept C2780069185 @default.
- W4205777715 hasConcept C33923547 @default.
- W4205777715 hasConcept C41008148 @default.
- W4205777715 hasConcept C80444323 @default.
- W4205777715 hasConceptScore W4205777715C112505250 @default.
- W4205777715 hasConceptScore W4205777715C11413529 @default.
- W4205777715 hasConceptScore W4205777715C118615104 @default.
- W4205777715 hasConceptScore W4205777715C135315306 @default.
- W4205777715 hasConceptScore W4205777715C165464430 @default.
- W4205777715 hasConceptScore W4205777715C199360897 @default.
- W4205777715 hasConceptScore W4205777715C2780069185 @default.
- W4205777715 hasConceptScore W4205777715C33923547 @default.
- W4205777715 hasConceptScore W4205777715C41008148 @default.
- W4205777715 hasConceptScore W4205777715C80444323 @default.
- W4205777715 hasLocation W42057777151 @default.
- W4205777715 hasOpenAccess W4205777715 @default.
- W4205777715 hasPrimaryLocation W42057777151 @default.
- W4205777715 hasRelatedWork W1567765153 @default.
- W4205777715 hasRelatedWork W1586382855 @default.
- W4205777715 hasRelatedWork W2030888138 @default.
- W4205777715 hasRelatedWork W2040368499 @default.
- W4205777715 hasRelatedWork W2140908765 @default.
- W4205777715 hasRelatedWork W2660972524 @default.
- W4205777715 hasRelatedWork W2952221892 @default.
- W4205777715 hasRelatedWork W3006661571 @default.
- W4205777715 hasRelatedWork W4205777715 @default.
- W4205777715 hasRelatedWork W83031784 @default.
- W4205777715 isParatext "false" @default.
- W4205777715 isRetracted "false" @default.
- W4205777715 workType "article" @default.