Matches in SemOpenAlex for { <https://semopenalex.org/work/W48184986> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W48184986 abstract "This paper reports on an implementation of transformation of PROMELA models into Channel Systems, which will be further transformed into Labeled Transition Systems (LTSs). The objective of this transformation is to obtain a formal semantics for further model checking purposes. A Channel System is a way to describe communicating processes that run in parallel, where each process is represented by a Program Graph (PG). The main part of a Program Graph is a location transition which consists of the initial location, a guard which determines whether the transition is executable or not, an action that will be executed in the location transition, and the next location. This paper defined the location transition for PROMELA constructs such as assignments, communication actions, if-fi, do-od, and atomic steps." @default.
- W48184986 created "2016-06-24" @default.
- W48184986 creator A5036427172 @default.
- W48184986 creator A5060924554 @default.
- W48184986 date "2013-06-18" @default.
- W48184986 modified "2023-09-23" @default.
- W48184986 title "Transformation of PROMELA to Channel Systems" @default.
- W48184986 cites W1498432697 @default.
- W48184986 cites W1943502734 @default.
- W48184986 cites W1973964525 @default.
- W48184986 cites W1985493680 @default.
- W48184986 cites W202212318 @default.
- W48184986 hasPublicationYear "2013" @default.
- W48184986 type Work @default.
- W48184986 sameAs 48184986 @default.
- W48184986 citedByCount "1" @default.
- W48184986 countsByYear W481849862016 @default.
- W48184986 crossrefType "journal-article" @default.
- W48184986 hasAuthorship W48184986A5036427172 @default.
- W48184986 hasAuthorship W48184986A5060924554 @default.
- W48184986 hasConcept C104317684 @default.
- W48184986 hasConcept C110251889 @default.
- W48184986 hasConcept C160145156 @default.
- W48184986 hasConcept C185592680 @default.
- W48184986 hasConcept C199360897 @default.
- W48184986 hasConcept C204241405 @default.
- W48184986 hasConcept C2776329536 @default.
- W48184986 hasConcept C2779167558 @default.
- W48184986 hasConcept C41008148 @default.
- W48184986 hasConcept C55493867 @default.
- W48184986 hasConcept C80444323 @default.
- W48184986 hasConceptScore W48184986C104317684 @default.
- W48184986 hasConceptScore W48184986C110251889 @default.
- W48184986 hasConceptScore W48184986C160145156 @default.
- W48184986 hasConceptScore W48184986C185592680 @default.
- W48184986 hasConceptScore W48184986C199360897 @default.
- W48184986 hasConceptScore W48184986C204241405 @default.
- W48184986 hasConceptScore W48184986C2776329536 @default.
- W48184986 hasConceptScore W48184986C2779167558 @default.
- W48184986 hasConceptScore W48184986C41008148 @default.
- W48184986 hasConceptScore W48184986C55493867 @default.
- W48184986 hasConceptScore W48184986C80444323 @default.
- W48184986 hasOpenAccess W48184986 @default.
- W48184986 hasRelatedWork W1549164528 @default.
- W48184986 hasRelatedWork W1561639050 @default.
- W48184986 hasRelatedWork W156775712 @default.
- W48184986 hasRelatedWork W1567952653 @default.
- W48184986 hasRelatedWork W1570314198 @default.
- W48184986 hasRelatedWork W1755149015 @default.
- W48184986 hasRelatedWork W1785023301 @default.
- W48184986 hasRelatedWork W1804076355 @default.
- W48184986 hasRelatedWork W1842505272 @default.
- W48184986 hasRelatedWork W1847862552 @default.
- W48184986 hasRelatedWork W1991571782 @default.
- W48184986 hasRelatedWork W1994011879 @default.
- W48184986 hasRelatedWork W2009029954 @default.
- W48184986 hasRelatedWork W2021270268 @default.
- W48184986 hasRelatedWork W2126606633 @default.
- W48184986 hasRelatedWork W2131966463 @default.
- W48184986 hasRelatedWork W2188226105 @default.
- W48184986 hasRelatedWork W2017771487 @default.
- W48184986 hasRelatedWork W2142242910 @default.
- W48184986 hasRelatedWork W283654250 @default.
- W48184986 isParatext "false" @default.
- W48184986 isRetracted "false" @default.
- W48184986 magId "48184986" @default.
- W48184986 workType "article" @default.