Matches in SemOpenAlex for { <https://semopenalex.org/work/W57072711> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W57072711 abstract "A high-level specification language PROMELA can be used not only to model interactions that occur in distributed or reactive systems, but also to express requirements of logical correctness about those interactions. Several approaches to a formal semantics for PROMELA have been presented, ranging from the less complete formal semantics to the more complete ones. This paper presents a significantly different approach to provide a formal semantics for PROMELA model, namely by an operational semantics given as a set of Structured Operational Semantics (SOS) rules. The operational semantics of a PROMELA statement with variables and channels is given by a program graph. The program graphs for the processes of a PROMELA model constitute a channel system. Finally, the transition system semantics for channel systems yields a transition system that formalizes the stepwise behavior of the PROMELA model." @default.
- W57072711 created "2016-06-24" @default.
- W57072711 creator A5060924554 @default.
- W57072711 creator A5067152921 @default.
- W57072711 date "2011-07-15" @default.
- W57072711 modified "2023-09-24" @default.
- W57072711 title "A FRAMEWORK FOR AN LTS SEMANTICS FOR PROMELA" @default.
- W57072711 cites W1498432697 @default.
- W57072711 cites W202212318 @default.
- W57072711 hasPublicationYear "2011" @default.
- W57072711 type Work @default.
- W57072711 sameAs 57072711 @default.
- W57072711 citedByCount "0" @default.
- W57072711 crossrefType "journal-article" @default.
- W57072711 hasAuthorship W57072711A5060924554 @default.
- W57072711 hasAuthorship W57072711A5067152921 @default.
- W57072711 hasConcept C110251889 @default.
- W57072711 hasConcept C146499914 @default.
- W57072711 hasConcept C156325763 @default.
- W57072711 hasConcept C184337299 @default.
- W57072711 hasConcept C199360897 @default.
- W57072711 hasConcept C2776329536 @default.
- W57072711 hasConcept C2779167558 @default.
- W57072711 hasConcept C41008148 @default.
- W57072711 hasConcept C55439883 @default.
- W57072711 hasConcept C80444323 @default.
- W57072711 hasConceptScore W57072711C110251889 @default.
- W57072711 hasConceptScore W57072711C146499914 @default.
- W57072711 hasConceptScore W57072711C156325763 @default.
- W57072711 hasConceptScore W57072711C184337299 @default.
- W57072711 hasConceptScore W57072711C199360897 @default.
- W57072711 hasConceptScore W57072711C2776329536 @default.
- W57072711 hasConceptScore W57072711C2779167558 @default.
- W57072711 hasConceptScore W57072711C41008148 @default.
- W57072711 hasConceptScore W57072711C55439883 @default.
- W57072711 hasConceptScore W57072711C80444323 @default.
- W57072711 hasLocation W570727111 @default.
- W57072711 hasOpenAccess W57072711 @default.
- W57072711 hasPrimaryLocation W570727111 @default.
- W57072711 hasRelatedWork W1557629507 @default.
- W57072711 hasRelatedWork W1981466053 @default.
- W57072711 hasRelatedWork W2002247992 @default.
- W57072711 hasRelatedWork W2009886413 @default.
- W57072711 hasRelatedWork W2068349362 @default.
- W57072711 hasRelatedWork W2106305471 @default.
- W57072711 hasRelatedWork W2124431509 @default.
- W57072711 hasRelatedWork W2149952006 @default.
- W57072711 hasRelatedWork W2160479067 @default.
- W57072711 hasRelatedWork W2382585977 @default.
- W57072711 hasRelatedWork W2524005430 @default.
- W57072711 hasRelatedWork W2751426875 @default.
- W57072711 hasRelatedWork W2762699636 @default.
- W57072711 hasRelatedWork W2951337749 @default.
- W57072711 hasRelatedWork W2964513622 @default.
- W57072711 hasRelatedWork W3021477639 @default.
- W57072711 hasRelatedWork W3080738570 @default.
- W57072711 hasRelatedWork W3134644061 @default.
- W57072711 hasRelatedWork W3139603584 @default.
- W57072711 hasRelatedWork W3197533259 @default.
- W57072711 isParatext "false" @default.
- W57072711 isRetracted "false" @default.
- W57072711 magId "57072711" @default.
- W57072711 workType "article" @default.