Matches in SemOpenAlex for { <https://semopenalex.org/work/W2490513959> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2490513959 abstract "Modeling, Simulation and Verification Language (MSVL) is a useful formalism for specification and verification of concurrent systems. To make it more practical and easy to use, we extend MSVL with the technique of semaphore. To do so, the mechanism of MSVL function calls is deeply analyzed. Further, the semaphore type is defined. Moreover, operations over semaphore are formalized. Finally, an example is given to illustrate how to use semaphore to solve the mutual exclusion problem." @default.
- W2490513959 created "2016-08-23" @default.
- W2490513959 creator A5029605914 @default.
- W2490513959 creator A5071051896 @default.
- W2490513959 date "2016-01-01" @default.
- W2490513959 modified "2023-09-23" @default.
- W2490513959 title "Extending MSVL with Semaphore" @default.
- W2490513959 cites W1474729983 @default.
- W2490513959 cites W1591672107 @default.
- W2490513959 cites W2014146343 @default.
- W2490513959 cites W2021917262 @default.
- W2490513959 cites W2037296871 @default.
- W2490513959 cites W2041851546 @default.
- W2490513959 cites W2093832730 @default.
- W2490513959 cites W2115309705 @default.
- W2490513959 cites W252814741 @default.
- W2490513959 doi "https://doi.org/10.1007/978-3-319-42634-1_48" @default.
- W2490513959 hasPublicationYear "2016" @default.
- W2490513959 type Work @default.
- W2490513959 sameAs 2490513959 @default.
- W2490513959 citedByCount "5" @default.
- W2490513959 countsByYear W24905139592017 @default.
- W2490513959 countsByYear W24905139592018 @default.
- W2490513959 countsByYear W24905139592019 @default.
- W2490513959 countsByYear W24905139592020 @default.
- W2490513959 countsByYear W24905139592021 @default.
- W2490513959 crossrefType "book-chapter" @default.
- W2490513959 hasAuthorship W2490513959A5029605914 @default.
- W2490513959 hasAuthorship W2490513959A5071051896 @default.
- W2490513959 hasConcept C14036430 @default.
- W2490513959 hasConcept C142362112 @default.
- W2490513959 hasConcept C150495011 @default.
- W2490513959 hasConcept C153349607 @default.
- W2490513959 hasConcept C199360897 @default.
- W2490513959 hasConcept C41008148 @default.
- W2490513959 hasConcept C558565934 @default.
- W2490513959 hasConcept C56348326 @default.
- W2490513959 hasConcept C73301696 @default.
- W2490513959 hasConcept C78458016 @default.
- W2490513959 hasConcept C86803240 @default.
- W2490513959 hasConcept C95203288 @default.
- W2490513959 hasConceptScore W2490513959C14036430 @default.
- W2490513959 hasConceptScore W2490513959C142362112 @default.
- W2490513959 hasConceptScore W2490513959C150495011 @default.
- W2490513959 hasConceptScore W2490513959C153349607 @default.
- W2490513959 hasConceptScore W2490513959C199360897 @default.
- W2490513959 hasConceptScore W2490513959C41008148 @default.
- W2490513959 hasConceptScore W2490513959C558565934 @default.
- W2490513959 hasConceptScore W2490513959C56348326 @default.
- W2490513959 hasConceptScore W2490513959C73301696 @default.
- W2490513959 hasConceptScore W2490513959C78458016 @default.
- W2490513959 hasConceptScore W2490513959C86803240 @default.
- W2490513959 hasConceptScore W2490513959C95203288 @default.
- W2490513959 hasLocation W24905139591 @default.
- W2490513959 hasOpenAccess W2490513959 @default.
- W2490513959 hasPrimaryLocation W24905139591 @default.
- W2490513959 hasRelatedWork W1474729983 @default.
- W2490513959 hasRelatedWork W1591672107 @default.
- W2490513959 hasRelatedWork W2014146343 @default.
- W2490513959 hasRelatedWork W2020639449 @default.
- W2490513959 hasRelatedWork W2021917262 @default.
- W2490513959 hasRelatedWork W2037296871 @default.
- W2490513959 hasRelatedWork W2044951665 @default.
- W2490513959 hasRelatedWork W2050552305 @default.
- W2490513959 hasRelatedWork W2074285438 @default.
- W2490513959 hasRelatedWork W2093832730 @default.
- W2490513959 hasRelatedWork W2129935605 @default.
- W2490513959 hasRelatedWork W2294578947 @default.
- W2490513959 hasRelatedWork W2462955985 @default.
- W2490513959 hasRelatedWork W2600478067 @default.
- W2490513959 hasRelatedWork W2618805227 @default.
- W2490513959 hasRelatedWork W2949479322 @default.
- W2490513959 hasRelatedWork W3016373772 @default.
- W2490513959 hasRelatedWork W50631513 @default.
- W2490513959 hasRelatedWork W821289620 @default.
- W2490513959 hasRelatedWork W2925912640 @default.
- W2490513959 isParatext "false" @default.
- W2490513959 isRetracted "false" @default.
- W2490513959 magId "2490513959" @default.
- W2490513959 workType "book-chapter" @default.