Matches in SemOpenAlex for { <https://semopenalex.org/work/W1887719872> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1887719872 endingPage "110" @default.
- W1887719872 startingPage "95" @default.
- W1887719872 abstract "Recently a technique for transacting goods using GSM mobile phones has become very popular. We present a formal model of these novel transactions using a views based modeling technique. We show how to express two safety properties namely goods and money atomicity within this model using a sub-logic of CTL. By automatically generating a labelled transition system from our views model we can model check these properties. We show how to generalise this model to arbitrary numbers of processes. Goods atomicity fails under certain circumstances thus exposing some deficiencies that exist in existing implementations." @default.
- W1887719872 created "2016-06-24" @default.
- W1887719872 creator A5013749798 @default.
- W1887719872 creator A5056586469 @default.
- W1887719872 date "2003-01-01" @default.
- W1887719872 modified "2023-09-27" @default.
- W1887719872 title "Modeling and Model Checking Mobile Phone Payment Systems" @default.
- W1887719872 cites W1534531233 @default.
- W1887719872 cites W1535497513 @default.
- W1887719872 cites W2021200789 @default.
- W1887719872 cites W2045478049 @default.
- W1887719872 cites W2115309705 @default.
- W1887719872 cites W2117189826 @default.
- W1887719872 doi "https://doi.org/10.1007/978-3-540-39979-7_7" @default.
- W1887719872 hasPublicationYear "2003" @default.
- W1887719872 type Work @default.
- W1887719872 sameAs 1887719872 @default.
- W1887719872 citedByCount "4" @default.
- W1887719872 crossrefType "book-chapter" @default.
- W1887719872 hasAuthorship W1887719872A5013749798 @default.
- W1887719872 hasAuthorship W1887719872A5056586469 @default.
- W1887719872 hasBestOaLocation W18877198721 @default.
- W1887719872 hasConcept C110251889 @default.
- W1887719872 hasConcept C111919701 @default.
- W1887719872 hasConcept C120314980 @default.
- W1887719872 hasConcept C138885662 @default.
- W1887719872 hasConcept C188045909 @default.
- W1887719872 hasConcept C199360897 @default.
- W1887719872 hasConcept C26713055 @default.
- W1887719872 hasConcept C2777421447 @default.
- W1887719872 hasConcept C2778707766 @default.
- W1887719872 hasConcept C38652104 @default.
- W1887719872 hasConcept C41008148 @default.
- W1887719872 hasConcept C41895202 @default.
- W1887719872 hasConcept C75949130 @default.
- W1887719872 hasConcept C80444323 @default.
- W1887719872 hasConceptScore W1887719872C110251889 @default.
- W1887719872 hasConceptScore W1887719872C111919701 @default.
- W1887719872 hasConceptScore W1887719872C120314980 @default.
- W1887719872 hasConceptScore W1887719872C138885662 @default.
- W1887719872 hasConceptScore W1887719872C188045909 @default.
- W1887719872 hasConceptScore W1887719872C199360897 @default.
- W1887719872 hasConceptScore W1887719872C26713055 @default.
- W1887719872 hasConceptScore W1887719872C2777421447 @default.
- W1887719872 hasConceptScore W1887719872C2778707766 @default.
- W1887719872 hasConceptScore W1887719872C38652104 @default.
- W1887719872 hasConceptScore W1887719872C41008148 @default.
- W1887719872 hasConceptScore W1887719872C41895202 @default.
- W1887719872 hasConceptScore W1887719872C75949130 @default.
- W1887719872 hasConceptScore W1887719872C80444323 @default.
- W1887719872 hasLocation W18877198721 @default.
- W1887719872 hasOpenAccess W1887719872 @default.
- W1887719872 hasPrimaryLocation W18877198721 @default.
- W1887719872 hasRelatedWork W1480853724 @default.
- W1887719872 hasRelatedWork W1554764448 @default.
- W1887719872 hasRelatedWork W1565501066 @default.
- W1887719872 hasRelatedWork W1984757784 @default.
- W1887719872 hasRelatedWork W2023785576 @default.
- W1887719872 hasRelatedWork W2083338789 @default.
- W1887719872 hasRelatedWork W2090686886 @default.
- W1887719872 hasRelatedWork W2151898527 @default.
- W1887719872 hasRelatedWork W2383284615 @default.
- W1887719872 hasRelatedWork W2808750505 @default.
- W1887719872 isParatext "false" @default.
- W1887719872 isRetracted "false" @default.
- W1887719872 magId "1887719872" @default.
- W1887719872 workType "book-chapter" @default.