Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023255277> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2023255277 endingPage "122" @default.
- W2023255277 startingPage "105" @default.
- W2023255277 abstract "Reo is a coordination language for modeling component connectors of component-based computing systems. Constraint automaton, as an extension of finite automaton, has been proposed as the operational semantics of Reo. In this paper, we introduce an extended definition of constraint automaton by which, every constraint automaton can be considered as a labeled transition system and each labeled transition system can be translated into a constraint automaton. We show that failure-based equivalences CFFD and NDFD are congruences with respect to composition of constraint automata using their join (production) and hiding operators. Based on these congruency results and by considering the temporal logic preservation properties of CFFD and NDFD equivalences, they can be used for reducing sizes of models before doing model checking based verification." @default.
- W2023255277 created "2016-06-24" @default.
- W2023255277 creator A5033902274 @default.
- W2023255277 creator A5089228487 @default.
- W2023255277 date "2009-09-01" @default.
- W2023255277 modified "2023-09-27" @default.
- W2023255277 title "Compositional Failure-based Equivalence of Constraint Automata" @default.
- W2023255277 cites W103336569 @default.
- W2023255277 cites W129716784 @default.
- W2023255277 cites W14261152 @default.
- W2023255277 cites W1485823765 @default.
- W2023255277 cites W1498760855 @default.
- W2023255277 cites W1503973138 @default.
- W2023255277 cites W1506588809 @default.
- W2023255277 cites W1536783297 @default.
- W2023255277 cites W1544301742 @default.
- W2023255277 cites W1552488915 @default.
- W2023255277 cites W1573453798 @default.
- W2023255277 cites W1579609269 @default.
- W2023255277 cites W1988680012 @default.
- W2023255277 cites W1994013545 @default.
- W2023255277 cites W2054872319 @default.
- W2023255277 cites W2080593426 @default.
- W2023255277 cites W2093916942 @default.
- W2023255277 cites W2094545952 @default.
- W2023255277 cites W2130025446 @default.
- W2023255277 cites W2137467159 @default.
- W2023255277 cites W2139842876 @default.
- W2023255277 cites W2913459036 @default.
- W2023255277 cites W3144368627 @default.
- W2023255277 cites W2994841252 @default.
- W2023255277 doi "https://doi.org/10.1016/j.entcs.2009.08.008" @default.
- W2023255277 hasPublicationYear "2009" @default.
- W2023255277 type Work @default.
- W2023255277 sameAs 2023255277 @default.
- W2023255277 citedByCount "0" @default.
- W2023255277 crossrefType "journal-article" @default.
- W2023255277 hasAuthorship W2023255277A5033902274 @default.
- W2023255277 hasAuthorship W2023255277A5089228487 @default.
- W2023255277 hasBestOaLocation W20232552771 @default.
- W2023255277 hasConcept C110251889 @default.
- W2023255277 hasConcept C112505250 @default.
- W2023255277 hasConcept C11413529 @default.
- W2023255277 hasConcept C118615104 @default.
- W2023255277 hasConcept C165753454 @default.
- W2023255277 hasConcept C184337299 @default.
- W2023255277 hasConcept C194525867 @default.
- W2023255277 hasConcept C199360897 @default.
- W2023255277 hasConcept C2524010 @default.
- W2023255277 hasConcept C2776036281 @default.
- W2023255277 hasConcept C2780069185 @default.
- W2023255277 hasConcept C30788636 @default.
- W2023255277 hasConcept C33923547 @default.
- W2023255277 hasConcept C41008148 @default.
- W2023255277 hasConcept C80444323 @default.
- W2023255277 hasConceptScore W2023255277C110251889 @default.
- W2023255277 hasConceptScore W2023255277C112505250 @default.
- W2023255277 hasConceptScore W2023255277C11413529 @default.
- W2023255277 hasConceptScore W2023255277C118615104 @default.
- W2023255277 hasConceptScore W2023255277C165753454 @default.
- W2023255277 hasConceptScore W2023255277C184337299 @default.
- W2023255277 hasConceptScore W2023255277C194525867 @default.
- W2023255277 hasConceptScore W2023255277C199360897 @default.
- W2023255277 hasConceptScore W2023255277C2524010 @default.
- W2023255277 hasConceptScore W2023255277C2776036281 @default.
- W2023255277 hasConceptScore W2023255277C2780069185 @default.
- W2023255277 hasConceptScore W2023255277C30788636 @default.
- W2023255277 hasConceptScore W2023255277C33923547 @default.
- W2023255277 hasConceptScore W2023255277C41008148 @default.
- W2023255277 hasConceptScore W2023255277C80444323 @default.
- W2023255277 hasIssue "1" @default.
- W2023255277 hasLocation W20232552771 @default.
- W2023255277 hasOpenAccess W2023255277 @default.
- W2023255277 hasPrimaryLocation W20232552771 @default.
- W2023255277 hasRelatedWork W143370938 @default.
- W2023255277 hasRelatedWork W1941386016 @default.
- W2023255277 hasRelatedWork W2102610429 @default.
- W2023255277 hasRelatedWork W2147098470 @default.
- W2023255277 hasRelatedWork W2184634081 @default.
- W2023255277 hasRelatedWork W2219509443 @default.
- W2023255277 hasRelatedWork W3180295895 @default.
- W2023255277 hasRelatedWork W3192691254 @default.
- W2023255277 hasRelatedWork W2506096965 @default.
- W2023255277 hasRelatedWork W2585381885 @default.
- W2023255277 hasVolume "250" @default.
- W2023255277 isParatext "false" @default.
- W2023255277 isRetracted "false" @default.
- W2023255277 magId "2023255277" @default.
- W2023255277 workType "article" @default.