FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2170285655> ?p ?o ?g. }

• W2170285655 abstract "Two pumping theorems are derived for a network N of CFSMs (communicating finite state machines). Each pumping theorem describes a set of conditions under which a feasible event sequence of N can be pumped to produce an infinite set of feasible event sequences of N. The authors show that if a feasible event sequence E satisfying the conditions in one pumping theorem does not result in a deadlock or unspecified reception, neither does any event sequence derived by pumping E. Based on these results, they develop a pumping-based approach for detecting deadlocks and unspecified receptions in a network of CFSMs. The experimental results of applying this new approach to validate several communication protocols are shown. >" @default.
• W2170285655 created "2016-06-24" @default.
• W2170285655 creator A5043137059 @default.
• W2170285655 creator A5067815428 @default.
• W2170285655 creator A5078336365 @default.
• W2170285655 date "2002-12-10" @default.
• W2170285655 modified "2023-09-26" @default.
• W2170285655 title "Protocol validation using a pumping-based approach" @default.
• W2170285655 cites W1679995765 @default.
• W2170285655 cites W1979799094 @default.
• W2170285655 cites W1987377075 @default.
• W2170285655 cites W1987433648 @default.
• W2170285655 cites W1994902629 @default.
• W2170285655 cites W2014643602 @default.
• W2170285655 cites W2025970201 @default.
• W2170285655 cites W2030694909 @default.
• W2170285655 cites W2039437255 @default.
• W2170285655 cites W2039853888 @default.
• W2170285655 cites W2110697379 @default.
• W2170285655 cites W2131101129 @default.
• W2170285655 cites W2140605597 @default.
• W2170285655 cites W2171419179 @default.
• W2170285655 cites W2174395712 @default.
• W2170285655 cites W2331953749 @default.
• W2170285655 doi "https://doi.org/10.1109/cmpsac.1991.170200" @default.
• W2170285655 hasPublicationYear "2002" @default.
• W2170285655 type Work @default.
• W2170285655 sameAs 2170285655 @default.
• W2170285655 citedByCount "0" @default.
• W2170285655 crossrefType "proceedings-article" @default.
• W2170285655 hasAuthorship W2170285655A5043137059 @default.
• W2170285655 hasAuthorship W2170285655A5067815428 @default.
• W2170285655 hasAuthorship W2170285655A5078336365 @default.
• W2170285655 hasConcept C11413529 @default.
• W2170285655 hasConcept C114614502 @default.
• W2170285655 hasConcept C120314980 @default.
• W2170285655 hasConcept C121332964 @default.
• W2170285655 hasConcept C12269588 @default.
• W2170285655 hasConcept C142724271 @default.
• W2170285655 hasConcept C159023740 @default.
• W2170285655 hasConcept C167822520 @default.
• W2170285655 hasConcept C177264268 @default.
• W2170285655 hasConcept C184720557 @default.
• W2170285655 hasConcept C199360897 @default.
• W2170285655 hasConcept C204787440 @default.
• W2170285655 hasConcept C2778112365 @default.
• W2170285655 hasConcept C2779662365 @default.
• W2170285655 hasConcept C2780385302 @default.
• W2170285655 hasConcept C31258907 @default.
• W2170285655 hasConcept C33923547 @default.
• W2170285655 hasConcept C41008148 @default.
• W2170285655 hasConcept C48103436 @default.
• W2170285655 hasConcept C54355233 @default.
• W2170285655 hasConcept C62520636 @default.
• W2170285655 hasConcept C71924100 @default.
• W2170285655 hasConcept C80444323 @default.
• W2170285655 hasConcept C86803240 @default.
• W2170285655 hasConceptScore W2170285655C11413529 @default.
• W2170285655 hasConceptScore W2170285655C114614502 @default.
• W2170285655 hasConceptScore W2170285655C120314980 @default.
• W2170285655 hasConceptScore W2170285655C121332964 @default.
• W2170285655 hasConceptScore W2170285655C12269588 @default.
• W2170285655 hasConceptScore W2170285655C142724271 @default.
• W2170285655 hasConceptScore W2170285655C159023740 @default.
• W2170285655 hasConceptScore W2170285655C167822520 @default.
• W2170285655 hasConceptScore W2170285655C177264268 @default.
• W2170285655 hasConceptScore W2170285655C184720557 @default.
• W2170285655 hasConceptScore W2170285655C199360897 @default.
• W2170285655 hasConceptScore W2170285655C204787440 @default.
• W2170285655 hasConceptScore W2170285655C2778112365 @default.
• W2170285655 hasConceptScore W2170285655C2779662365 @default.
• W2170285655 hasConceptScore W2170285655C2780385302 @default.
• W2170285655 hasConceptScore W2170285655C31258907 @default.
• W2170285655 hasConceptScore W2170285655C33923547 @default.
• W2170285655 hasConceptScore W2170285655C41008148 @default.
• W2170285655 hasConceptScore W2170285655C48103436 @default.
• W2170285655 hasConceptScore W2170285655C54355233 @default.
• W2170285655 hasConceptScore W2170285655C62520636 @default.
• W2170285655 hasConceptScore W2170285655C71924100 @default.
• W2170285655 hasConceptScore W2170285655C80444323 @default.
• W2170285655 hasConceptScore W2170285655C86803240 @default.
• W2170285655 hasLocation W21702856551 @default.
• W2170285655 hasOpenAccess W2170285655 @default.
• W2170285655 hasPrimaryLocation W21702856551 @default.
• W2170285655 hasRelatedWork W1570869180 @default.
• W2170285655 hasRelatedWork W1935887224 @default.
• W2170285655 hasRelatedWork W1969735340 @default.
• W2170285655 hasRelatedWork W1992815253 @default.
• W2170285655 hasRelatedWork W1998390096 @default.
• W2170285655 hasRelatedWork W2006770253 @default.
• W2170285655 hasRelatedWork W2011597911 @default.
• W2170285655 hasRelatedWork W2014897585 @default.
• W2170285655 hasRelatedWork W2019744191 @default.
• W2170285655 hasRelatedWork W2044138969 @default.
• W2170285655 hasRelatedWork W2103184878 @default.
• W2170285655 hasRelatedWork W2110732990 @default.
• W2170285655 hasRelatedWork W2115116604 @default.
• W2170285655 hasRelatedWork W2136078392 @default.
• W2170285655 hasRelatedWork W2143578569 @default.
• W2170285655 hasRelatedWork W2146265288 @default.

• next