Matches in SemOpenAlex for { <https://semopenalex.org/work/W2294578947> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2294578947 endingPage "25" @default.
- W2294578947 startingPage "11" @default.
- W2294578947 abstract "Modeling, Simulation and Verification Language (MSVL) is a useful formalism for specification and verification of concurrent systems. To make it more practical and easier to use, we extend MSVL with external and internal function calls. To do so, the syntax of function definitions and function calls is formalized. Then, the syntax of expressions in MSVL is extended by including function calls. Further, the evaluation rules are redefined. Moreover, the set of statements in MSVL is also extended and the semantics of function call statements is formalized. In addition, the existence of minimal models of MSVL programs involving new added statements is proved. Finally, an example is given to illustrate how to interpret function calls in practice with MSVL." @default.
- W2294578947 created "2016-06-24" @default.
- W2294578947 creator A5003990194 @default.
- W2294578947 creator A5009318195 @default.
- W2294578947 creator A5071051896 @default.
- W2294578947 date "2016-11-01" @default.
- W2294578947 modified "2023-10-18" @default.
- W2294578947 title "A mechanism of function calls in MSVL" @default.
- W2294578947 cites W2009965218 @default.
- W2294578947 cites W2025452930 @default.
- W2294578947 cites W2039684730 @default.
- W2294578947 cites W2050552305 @default.
- W2294578947 cites W2054198444 @default.
- W2294578947 cites W2093832730 @default.
- W2294578947 cites W2109488193 @default.
- W2294578947 cites W2112381327 @default.
- W2294578947 cites W2156177921 @default.
- W2294578947 cites W2165373889 @default.
- W2294578947 cites W4234268113 @default.
- W2294578947 doi "https://doi.org/10.1016/j.tcs.2016.02.037" @default.
- W2294578947 hasPublicationYear "2016" @default.
- W2294578947 type Work @default.
- W2294578947 sameAs 2294578947 @default.
- W2294578947 citedByCount "20" @default.
- W2294578947 countsByYear W22945789472016 @default.
- W2294578947 countsByYear W22945789472017 @default.
- W2294578947 countsByYear W22945789472018 @default.
- W2294578947 countsByYear W22945789472019 @default.
- W2294578947 countsByYear W22945789472020 @default.
- W2294578947 countsByYear W22945789472021 @default.
- W2294578947 countsByYear W22945789472022 @default.
- W2294578947 countsByYear W22945789472023 @default.
- W2294578947 crossrefType "journal-article" @default.
- W2294578947 hasAuthorship W2294578947A5003990194 @default.
- W2294578947 hasAuthorship W2294578947A5009318195 @default.
- W2294578947 hasAuthorship W2294578947A5071051896 @default.
- W2294578947 hasBestOaLocation W22945789471 @default.
- W2294578947 hasConcept C14036430 @default.
- W2294578947 hasConcept C142362112 @default.
- W2294578947 hasConcept C153349607 @default.
- W2294578947 hasConcept C154945302 @default.
- W2294578947 hasConcept C156325763 @default.
- W2294578947 hasConcept C177264268 @default.
- W2294578947 hasConcept C184337299 @default.
- W2294578947 hasConcept C199360897 @default.
- W2294578947 hasConcept C41008148 @default.
- W2294578947 hasConcept C558565934 @default.
- W2294578947 hasConcept C58646249 @default.
- W2294578947 hasConcept C60048249 @default.
- W2294578947 hasConcept C73301696 @default.
- W2294578947 hasConcept C78458016 @default.
- W2294578947 hasConcept C80444323 @default.
- W2294578947 hasConcept C86803240 @default.
- W2294578947 hasConceptScore W2294578947C14036430 @default.
- W2294578947 hasConceptScore W2294578947C142362112 @default.
- W2294578947 hasConceptScore W2294578947C153349607 @default.
- W2294578947 hasConceptScore W2294578947C154945302 @default.
- W2294578947 hasConceptScore W2294578947C156325763 @default.
- W2294578947 hasConceptScore W2294578947C177264268 @default.
- W2294578947 hasConceptScore W2294578947C184337299 @default.
- W2294578947 hasConceptScore W2294578947C199360897 @default.
- W2294578947 hasConceptScore W2294578947C41008148 @default.
- W2294578947 hasConceptScore W2294578947C558565934 @default.
- W2294578947 hasConceptScore W2294578947C58646249 @default.
- W2294578947 hasConceptScore W2294578947C60048249 @default.
- W2294578947 hasConceptScore W2294578947C73301696 @default.
- W2294578947 hasConceptScore W2294578947C78458016 @default.
- W2294578947 hasConceptScore W2294578947C80444323 @default.
- W2294578947 hasConceptScore W2294578947C86803240 @default.
- W2294578947 hasFunder F4320321001 @default.
- W2294578947 hasLocation W22945789471 @default.
- W2294578947 hasOpenAccess W2294578947 @default.
- W2294578947 hasPrimaryLocation W22945789471 @default.
- W2294578947 hasRelatedWork W1604240374 @default.
- W2294578947 hasRelatedWork W1782526664 @default.
- W2294578947 hasRelatedWork W1975007607 @default.
- W2294578947 hasRelatedWork W2017163896 @default.
- W2294578947 hasRelatedWork W2026889117 @default.
- W2294578947 hasRelatedWork W2203405714 @default.
- W2294578947 hasRelatedWork W2359482398 @default.
- W2294578947 hasRelatedWork W2514398768 @default.
- W2294578947 hasRelatedWork W27605384 @default.
- W2294578947 hasRelatedWork W4246531319 @default.
- W2294578947 hasVolume "654" @default.
- W2294578947 isParatext "false" @default.
- W2294578947 isRetracted "false" @default.
- W2294578947 magId "2294578947" @default.
- W2294578947 workType "article" @default.