Matches in SemOpenAlex for { <https://semopenalex.org/work/W1486308576> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1486308576 endingPage "579" @default.
- W1486308576 startingPage "565" @default.
- W1486308576 abstract "In this paper, we apply a compositional proof technique to an automatic verification of the correctness of Fischer's mutual exclusion protocol. It is demonstrated that the technique may avoid the stateexplosion problem. Our compositional technique has recently been implemented in a tool CMC 5, which verifies the protocol for 50 processes within 172.3 seconds and using only 32MB main memory. In contrast all existing verification tools for timed systems will suffer from the stateexplosion problem, and no tool has to our knowledge succeeded in verifying the protocol for more than 11 processes." @default.
- W1486308576 created "2016-06-24" @default.
- W1486308576 creator A5059875134 @default.
- W1486308576 creator A5069362159 @default.
- W1486308576 creator A5073142503 @default.
- W1486308576 creator A5073507370 @default.
- W1486308576 creator A5079870005 @default.
- W1486308576 date "1997-01-01" @default.
- W1486308576 modified "2023-09-25" @default.
- W1486308576 title "A compositional proof of a real-time mutual exclusion protocol" @default.
- W1486308576 cites W1488948284 @default.
- W1486308576 cites W1490546070 @default.
- W1486308576 cites W1529601677 @default.
- W1486308576 cites W1536783297 @default.
- W1486308576 cites W1598081036 @default.
- W1486308576 cites W1643991583 @default.
- W1486308576 cites W1728798265 @default.
- W1486308576 cites W1772179977 @default.
- W1486308576 cites W2101508170 @default.
- W1486308576 cites W2114092850 @default.
- W1486308576 cites W2118802216 @default.
- W1486308576 cites W2130773092 @default.
- W1486308576 cites W2176837466 @default.
- W1486308576 cites W2368465500 @default.
- W1486308576 cites W4240098661 @default.
- W1486308576 cites W4254030842 @default.
- W1486308576 doi "https://doi.org/10.1007/bfb0030626" @default.
- W1486308576 hasPublicationYear "1997" @default.
- W1486308576 type Work @default.
- W1486308576 sameAs 1486308576 @default.
- W1486308576 citedByCount "28" @default.
- W1486308576 crossrefType "book-chapter" @default.
- W1486308576 hasAuthorship W1486308576A5059875134 @default.
- W1486308576 hasAuthorship W1486308576A5069362159 @default.
- W1486308576 hasAuthorship W1486308576A5073142503 @default.
- W1486308576 hasAuthorship W1486308576A5073507370 @default.
- W1486308576 hasAuthorship W1486308576A5079870005 @default.
- W1486308576 hasBestOaLocation W14863085761 @default.
- W1486308576 hasConcept C120314980 @default.
- W1486308576 hasConcept C142724271 @default.
- W1486308576 hasConcept C154945302 @default.
- W1486308576 hasConcept C199360897 @default.
- W1486308576 hasConcept C204787440 @default.
- W1486308576 hasConcept C2776502983 @default.
- W1486308576 hasConcept C2780385302 @default.
- W1486308576 hasConcept C41008148 @default.
- W1486308576 hasConcept C55439883 @default.
- W1486308576 hasConcept C56348326 @default.
- W1486308576 hasConcept C71924100 @default.
- W1486308576 hasConcept C80444323 @default.
- W1486308576 hasConceptScore W1486308576C120314980 @default.
- W1486308576 hasConceptScore W1486308576C142724271 @default.
- W1486308576 hasConceptScore W1486308576C154945302 @default.
- W1486308576 hasConceptScore W1486308576C199360897 @default.
- W1486308576 hasConceptScore W1486308576C204787440 @default.
- W1486308576 hasConceptScore W1486308576C2776502983 @default.
- W1486308576 hasConceptScore W1486308576C2780385302 @default.
- W1486308576 hasConceptScore W1486308576C41008148 @default.
- W1486308576 hasConceptScore W1486308576C55439883 @default.
- W1486308576 hasConceptScore W1486308576C56348326 @default.
- W1486308576 hasConceptScore W1486308576C71924100 @default.
- W1486308576 hasConceptScore W1486308576C80444323 @default.
- W1486308576 hasLocation W14863085761 @default.
- W1486308576 hasLocation W14863085762 @default.
- W1486308576 hasLocation W14863085763 @default.
- W1486308576 hasLocation W14863085764 @default.
- W1486308576 hasLocation W14863085765 @default.
- W1486308576 hasOpenAccess W1486308576 @default.
- W1486308576 hasPrimaryLocation W14863085761 @default.
- W1486308576 hasRelatedWork W1486308576 @default.
- W1486308576 hasRelatedWork W1516169988 @default.
- W1486308576 hasRelatedWork W1994798071 @default.
- W1486308576 hasRelatedWork W2024218563 @default.
- W1486308576 hasRelatedWork W2099109751 @default.
- W1486308576 hasRelatedWork W2116536633 @default.
- W1486308576 hasRelatedWork W2248839906 @default.
- W1486308576 hasRelatedWork W2276164673 @default.
- W1486308576 hasRelatedWork W4243553186 @default.
- W1486308576 hasRelatedWork W4366160575 @default.
- W1486308576 isParatext "false" @default.
- W1486308576 isRetracted "false" @default.
- W1486308576 magId "1486308576" @default.
- W1486308576 workType "book-chapter" @default.