Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000050281> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2000050281 endingPage "701" @default.
- W2000050281 startingPage "688" @default.
- W2000050281 abstract "This paper introduces a temporal logic framework to reason about the coordination mechanisms and data flow of exogenous coordination models. We take a CTL-like branching time logic, augmented with regular expressions that specify the observable I/O-operations, as a starting point. The paper provides the syntax and semantics of our logic and introduces the corresponding model checking algorithm. The second part of the paper reports an implementation that relies on a symbolic representation of the coordination network and the connected components by means of binary decision diagrams. A couple of examples are given to illustrate the efficiency of the model checking techniques and their implementation." @default.
- W2000050281 created "2016-06-24" @default.
- W2000050281 creator A5028850927 @default.
- W2000050281 creator A5091344667 @default.
- W2000050281 date "2009-07-01" @default.
- W2000050281 modified "2023-09-26" @default.
- W2000050281 title "Symbolic model checking for channel-based component connectors" @default.
- W2000050281 cites W1557721404 @default.
- W2000050281 cites W1988680012 @default.
- W2000050281 cites W2063852594 @default.
- W2000050281 cites W2069709605 @default.
- W2000050281 cites W2080267935 @default.
- W2000050281 cites W2117189826 @default.
- W2000050281 cites W2139842876 @default.
- W2000050281 cites W2142413483 @default.
- W2000050281 cites W2510405318 @default.
- W2000050281 doi "https://doi.org/10.1016/j.scico.2008.09.020" @default.
- W2000050281 hasPublicationYear "2009" @default.
- W2000050281 type Work @default.
- W2000050281 sameAs 2000050281 @default.
- W2000050281 citedByCount "13" @default.
- W2000050281 countsByYear W20000502812012 @default.
- W2000050281 countsByYear W20000502812015 @default.
- W2000050281 countsByYear W20000502812017 @default.
- W2000050281 countsByYear W20000502812019 @default.
- W2000050281 crossrefType "journal-article" @default.
- W2000050281 hasAuthorship W2000050281A5028850927 @default.
- W2000050281 hasAuthorship W2000050281A5091344667 @default.
- W2000050281 hasConcept C110251889 @default.
- W2000050281 hasConcept C121332964 @default.
- W2000050281 hasConcept C144024400 @default.
- W2000050281 hasConcept C168167062 @default.
- W2000050281 hasConcept C17744445 @default.
- W2000050281 hasConcept C184337299 @default.
- W2000050281 hasConcept C198008173 @default.
- W2000050281 hasConcept C199360897 @default.
- W2000050281 hasConcept C199539241 @default.
- W2000050281 hasConcept C23123167 @default.
- W2000050281 hasConcept C25016198 @default.
- W2000050281 hasConcept C2775940519 @default.
- W2000050281 hasConcept C2776359362 @default.
- W2000050281 hasConcept C3309909 @default.
- W2000050281 hasConcept C36289849 @default.
- W2000050281 hasConcept C41008148 @default.
- W2000050281 hasConcept C4777664 @default.
- W2000050281 hasConcept C80444323 @default.
- W2000050281 hasConcept C94625758 @default.
- W2000050281 hasConcept C97355855 @default.
- W2000050281 hasConceptScore W2000050281C110251889 @default.
- W2000050281 hasConceptScore W2000050281C121332964 @default.
- W2000050281 hasConceptScore W2000050281C144024400 @default.
- W2000050281 hasConceptScore W2000050281C168167062 @default.
- W2000050281 hasConceptScore W2000050281C17744445 @default.
- W2000050281 hasConceptScore W2000050281C184337299 @default.
- W2000050281 hasConceptScore W2000050281C198008173 @default.
- W2000050281 hasConceptScore W2000050281C199360897 @default.
- W2000050281 hasConceptScore W2000050281C199539241 @default.
- W2000050281 hasConceptScore W2000050281C23123167 @default.
- W2000050281 hasConceptScore W2000050281C25016198 @default.
- W2000050281 hasConceptScore W2000050281C2775940519 @default.
- W2000050281 hasConceptScore W2000050281C2776359362 @default.
- W2000050281 hasConceptScore W2000050281C3309909 @default.
- W2000050281 hasConceptScore W2000050281C36289849 @default.
- W2000050281 hasConceptScore W2000050281C41008148 @default.
- W2000050281 hasConceptScore W2000050281C4777664 @default.
- W2000050281 hasConceptScore W2000050281C80444323 @default.
- W2000050281 hasConceptScore W2000050281C94625758 @default.
- W2000050281 hasConceptScore W2000050281C97355855 @default.
- W2000050281 hasIssue "9" @default.
- W2000050281 hasLocation W20000502811 @default.
- W2000050281 hasOpenAccess W2000050281 @default.
- W2000050281 hasPrimaryLocation W20000502811 @default.
- W2000050281 hasRelatedWork W120135115 @default.
- W2000050281 hasRelatedWork W1481201928 @default.
- W2000050281 hasRelatedWork W1515452107 @default.
- W2000050281 hasRelatedWork W1561659860 @default.
- W2000050281 hasRelatedWork W2000050281 @default.
- W2000050281 hasRelatedWork W2115279934 @default.
- W2000050281 hasRelatedWork W2115995803 @default.
- W2000050281 hasRelatedWork W2149515428 @default.
- W2000050281 hasRelatedWork W2245396499 @default.
- W2000050281 hasRelatedWork W2349849617 @default.
- W2000050281 hasVolume "74" @default.
- W2000050281 isParatext "false" @default.
- W2000050281 isRetracted "false" @default.
- W2000050281 magId "2000050281" @default.
- W2000050281 workType "article" @default.