Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105389632> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2105389632 abstract "A token-based model for asynchronous data path is formally defined and three token game semantics, spread token, antitoken and counterflow, are introduced. These semantics are studied and their advantages and drawbacks are highlighted. For analysis and comparison a software tool is developed which integrates these models into a consistent framework. The models are verified by mapping them into Petri nets and employing the existing model checking tools." @default.
- W2105389632 created "2016-06-24" @default.
- W2105389632 creator A5008065557 @default.
- W2105389632 creator A5015272875 @default.
- W2105389632 creator A5073330041 @default.
- W2105389632 date "2007-07-01" @default.
- W2105389632 modified "2023-09-26" @default.
- W2105389632 title "Asynchronous Data Path Models" @default.
- W2105389632 cites W1539546888 @default.
- W2105389632 cites W1570043190 @default.
- W2105389632 cites W1665361481 @default.
- W2105389632 cites W2016259411 @default.
- W2105389632 cites W2021609618 @default.
- W2105389632 cites W2022323193 @default.
- W2105389632 cites W2084369349 @default.
- W2105389632 cites W2088643059 @default.
- W2105389632 cites W2102665528 @default.
- W2105389632 cites W2126549483 @default.
- W2105389632 cites W2130630281 @default.
- W2105389632 cites W2136595989 @default.
- W2105389632 cites W2139153122 @default.
- W2105389632 cites W2139882509 @default.
- W2105389632 cites W2150302545 @default.
- W2105389632 cites W2150872535 @default.
- W2105389632 cites W2157034101 @default.
- W2105389632 cites W2160823654 @default.
- W2105389632 cites W2487142227 @default.
- W2105389632 doi "https://doi.org/10.1109/acsd.2007.45" @default.
- W2105389632 hasPublicationYear "2007" @default.
- W2105389632 type Work @default.
- W2105389632 sameAs 2105389632 @default.
- W2105389632 citedByCount "8" @default.
- W2105389632 countsByYear W21053896322017 @default.
- W2105389632 countsByYear W21053896322021 @default.
- W2105389632 crossrefType "proceedings-article" @default.
- W2105389632 hasAuthorship W2105389632A5008065557 @default.
- W2105389632 hasAuthorship W2105389632A5015272875 @default.
- W2105389632 hasAuthorship W2105389632A5073330041 @default.
- W2105389632 hasConcept C110251889 @default.
- W2105389632 hasConcept C120314980 @default.
- W2105389632 hasConcept C151319957 @default.
- W2105389632 hasConcept C184337299 @default.
- W2105389632 hasConcept C199360897 @default.
- W2105389632 hasConcept C2777735758 @default.
- W2105389632 hasConcept C31258907 @default.
- W2105389632 hasConcept C38677869 @default.
- W2105389632 hasConcept C41008148 @default.
- W2105389632 hasConcept C48145219 @default.
- W2105389632 hasConcept C80444323 @default.
- W2105389632 hasConceptScore W2105389632C110251889 @default.
- W2105389632 hasConceptScore W2105389632C120314980 @default.
- W2105389632 hasConceptScore W2105389632C151319957 @default.
- W2105389632 hasConceptScore W2105389632C184337299 @default.
- W2105389632 hasConceptScore W2105389632C199360897 @default.
- W2105389632 hasConceptScore W2105389632C2777735758 @default.
- W2105389632 hasConceptScore W2105389632C31258907 @default.
- W2105389632 hasConceptScore W2105389632C38677869 @default.
- W2105389632 hasConceptScore W2105389632C41008148 @default.
- W2105389632 hasConceptScore W2105389632C48145219 @default.
- W2105389632 hasConceptScore W2105389632C80444323 @default.
- W2105389632 hasLocation W21053896321 @default.
- W2105389632 hasOpenAccess W2105389632 @default.
- W2105389632 hasPrimaryLocation W21053896321 @default.
- W2105389632 hasRelatedWork W1490556023 @default.
- W2105389632 hasRelatedWork W1597683009 @default.
- W2105389632 hasRelatedWork W1600177730 @default.
- W2105389632 hasRelatedWork W1969008178 @default.
- W2105389632 hasRelatedWork W2091821831 @default.
- W2105389632 hasRelatedWork W2105389632 @default.
- W2105389632 hasRelatedWork W2129147143 @default.
- W2105389632 hasRelatedWork W2898037582 @default.
- W2105389632 hasRelatedWork W4286894913 @default.
- W2105389632 hasRelatedWork W2586039792 @default.
- W2105389632 isParatext "false" @default.
- W2105389632 isRetracted "false" @default.
- W2105389632 magId "2105389632" @default.
- W2105389632 workType "article" @default.