Matches in SemOpenAlex for { <https://semopenalex.org/work/W2055603670> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2055603670 endingPage "343" @default.
- W2055603670 startingPage "333" @default.
- W2055603670 abstract "Abstract Labelled transition systems are often used as a theoretical framework for modelling communication protocols or distributed software systems. In order to model the deadlock properties of the systems, the internal transitions of the submodules are often represented globally by so-called internal actions. However, certain verification and testing methods assume that the specification of the system is given in the form of a transition system without internal actions. This paper shows that most labelled transition systems with internal actions can be transformed into a failure-equivalent labelled transition system without internal actions. A sufficient condition is given, and an algorithm is described which does the transformation for any transition system which satisfies the condition. This algorithm can be applied to use the above verification and testing methods also for specification including internal actions." @default.
- W2055603670 created "2016-06-24" @default.
- W2055603670 creator A5015422348 @default.
- W2055603670 creator A5048915841 @default.
- W2055603670 creator A5075113732 @default.
- W2055603670 creator A5083944273 @default.
- W2055603670 date "1992-12-01" @default.
- W2055603670 modified "2023-10-03" @default.
- W2055603670 title "Failure-equivalent transformation of transition systems to avoid internal actions" @default.
- W2055603670 cites W1601658152 @default.
- W2055603670 cites W2005915746 @default.
- W2055603670 cites W2100612373 @default.
- W2055603670 cites W2102097307 @default.
- W2055603670 cites W2108394166 @default.
- W2055603670 cites W2110425399 @default.
- W2055603670 cites W2118954772 @default.
- W2055603670 cites W2121372686 @default.
- W2055603670 cites W2748083664 @default.
- W2055603670 cites W3144368627 @default.
- W2055603670 doi "https://doi.org/10.1016/0020-0190(92)90110-h" @default.
- W2055603670 hasPublicationYear "1992" @default.
- W2055603670 type Work @default.
- W2055603670 sameAs 2055603670 @default.
- W2055603670 citedByCount "10" @default.
- W2055603670 crossrefType "journal-article" @default.
- W2055603670 hasAuthorship W2055603670A5015422348 @default.
- W2055603670 hasAuthorship W2055603670A5048915841 @default.
- W2055603670 hasAuthorship W2055603670A5075113732 @default.
- W2055603670 hasAuthorship W2055603670A5083944273 @default.
- W2055603670 hasConcept C104317684 @default.
- W2055603670 hasConcept C11413529 @default.
- W2055603670 hasConcept C120314980 @default.
- W2055603670 hasConcept C154945302 @default.
- W2055603670 hasConcept C159023740 @default.
- W2055603670 hasConcept C185592680 @default.
- W2055603670 hasConcept C194232998 @default.
- W2055603670 hasConcept C204241405 @default.
- W2055603670 hasConcept C2775924081 @default.
- W2055603670 hasConcept C2779167558 @default.
- W2055603670 hasConcept C28427503 @default.
- W2055603670 hasConcept C41008148 @default.
- W2055603670 hasConcept C55493867 @default.
- W2055603670 hasConcept C80444323 @default.
- W2055603670 hasConceptScore W2055603670C104317684 @default.
- W2055603670 hasConceptScore W2055603670C11413529 @default.
- W2055603670 hasConceptScore W2055603670C120314980 @default.
- W2055603670 hasConceptScore W2055603670C154945302 @default.
- W2055603670 hasConceptScore W2055603670C159023740 @default.
- W2055603670 hasConceptScore W2055603670C185592680 @default.
- W2055603670 hasConceptScore W2055603670C194232998 @default.
- W2055603670 hasConceptScore W2055603670C204241405 @default.
- W2055603670 hasConceptScore W2055603670C2775924081 @default.
- W2055603670 hasConceptScore W2055603670C2779167558 @default.
- W2055603670 hasConceptScore W2055603670C28427503 @default.
- W2055603670 hasConceptScore W2055603670C41008148 @default.
- W2055603670 hasConceptScore W2055603670C55493867 @default.
- W2055603670 hasConceptScore W2055603670C80444323 @default.
- W2055603670 hasIssue "6" @default.
- W2055603670 hasLocation W20556036701 @default.
- W2055603670 hasOpenAccess W2055603670 @default.
- W2055603670 hasPrimaryLocation W20556036701 @default.
- W2055603670 hasRelatedWork W1120759426 @default.
- W2055603670 hasRelatedWork W1501397281 @default.
- W2055603670 hasRelatedWork W1512286261 @default.
- W2055603670 hasRelatedWork W1560059658 @default.
- W2055603670 hasRelatedWork W1562244326 @default.
- W2055603670 hasRelatedWork W1579239352 @default.
- W2055603670 hasRelatedWork W1965028135 @default.
- W2055603670 hasRelatedWork W1994482315 @default.
- W2055603670 hasRelatedWork W2002089154 @default.
- W2055603670 hasRelatedWork W2121372686 @default.
- W2055603670 hasRelatedWork W2121954581 @default.
- W2055603670 hasRelatedWork W2137865376 @default.
- W2055603670 hasRelatedWork W2140047593 @default.
- W2055603670 hasRelatedWork W2143578569 @default.
- W2055603670 hasRelatedWork W2737984569 @default.
- W2055603670 hasRelatedWork W2943725894 @default.
- W2055603670 hasRelatedWork W48981211 @default.
- W2055603670 hasRelatedWork W71388123 @default.
- W2055603670 hasRelatedWork W1514954851 @default.
- W2055603670 hasRelatedWork W2277436083 @default.
- W2055603670 hasVolume "44" @default.
- W2055603670 isParatext "false" @default.
- W2055603670 isRetracted "false" @default.
- W2055603670 magId "2055603670" @default.
- W2055603670 workType "article" @default.