Matches in SemOpenAlex for { <https://semopenalex.org/work/W1565082713> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1565082713 abstract "Mobile processes involve not only in time but also in space. Traditionally model checking has mainly concerned with temporal properties of processes, but recently proposals have been put forwarded to check spatial properties as well. In this talk we shall first present a modal logic for describing temporal as well as spatial properties of mobile processes expressed in the asynchronous π-calculus. The logic is first-order and has quantifies including the fresh name quantifier for handling the name restriction construct in the π-calculus. The novelty of the logic is that fixpoint formulas are constructed as predicates which are functions from names to propositions. The semantics of the logic is developed and shown to be monotonic, thus guarantees the existence of fixpoints. We then propose an algorithm to automatically check if a process has properties described as formulas in the logic, and establish its correctness." @default.
- W1565082713 created "2016-06-24" @default.
- W1565082713 creator A5022485210 @default.
- W1565082713 date "2005-01-01" @default.
- W1565082713 modified "2023-09-23" @default.
- W1565082713 title "A Predicate Spatial Logic and Model Checking for Mobile Processes" @default.
- W1565082713 doi "https://doi.org/10.1007/978-3-540-31862-0_4" @default.
- W1565082713 hasPublicationYear "2005" @default.
- W1565082713 type Work @default.
- W1565082713 sameAs 1565082713 @default.
- W1565082713 citedByCount "2" @default.
- W1565082713 crossrefType "book-chapter" @default.
- W1565082713 hasAuthorship W1565082713A5022485210 @default.
- W1565082713 hasConcept C100481476 @default.
- W1565082713 hasConcept C102993220 @default.
- W1565082713 hasConcept C110039528 @default.
- W1565082713 hasConcept C110251889 @default.
- W1565082713 hasConcept C11413529 @default.
- W1565082713 hasConcept C151319957 @default.
- W1565082713 hasConcept C169896238 @default.
- W1565082713 hasConcept C184337299 @default.
- W1565082713 hasConcept C185592680 @default.
- W1565082713 hasConcept C188027245 @default.
- W1565082713 hasConcept C19689857 @default.
- W1565082713 hasConcept C199360897 @default.
- W1565082713 hasConcept C203659156 @default.
- W1565082713 hasConcept C25016198 @default.
- W1565082713 hasConcept C27508121 @default.
- W1565082713 hasConcept C31258907 @default.
- W1565082713 hasConcept C41008148 @default.
- W1565082713 hasConcept C4777664 @default.
- W1565082713 hasConcept C55439883 @default.
- W1565082713 hasConcept C71139939 @default.
- W1565082713 hasConcept C73314972 @default.
- W1565082713 hasConcept C80444323 @default.
- W1565082713 hasConceptScore W1565082713C100481476 @default.
- W1565082713 hasConceptScore W1565082713C102993220 @default.
- W1565082713 hasConceptScore W1565082713C110039528 @default.
- W1565082713 hasConceptScore W1565082713C110251889 @default.
- W1565082713 hasConceptScore W1565082713C11413529 @default.
- W1565082713 hasConceptScore W1565082713C151319957 @default.
- W1565082713 hasConceptScore W1565082713C169896238 @default.
- W1565082713 hasConceptScore W1565082713C184337299 @default.
- W1565082713 hasConceptScore W1565082713C185592680 @default.
- W1565082713 hasConceptScore W1565082713C188027245 @default.
- W1565082713 hasConceptScore W1565082713C19689857 @default.
- W1565082713 hasConceptScore W1565082713C199360897 @default.
- W1565082713 hasConceptScore W1565082713C203659156 @default.
- W1565082713 hasConceptScore W1565082713C25016198 @default.
- W1565082713 hasConceptScore W1565082713C27508121 @default.
- W1565082713 hasConceptScore W1565082713C31258907 @default.
- W1565082713 hasConceptScore W1565082713C41008148 @default.
- W1565082713 hasConceptScore W1565082713C4777664 @default.
- W1565082713 hasConceptScore W1565082713C55439883 @default.
- W1565082713 hasConceptScore W1565082713C71139939 @default.
- W1565082713 hasConceptScore W1565082713C73314972 @default.
- W1565082713 hasConceptScore W1565082713C80444323 @default.
- W1565082713 hasLocation W15650827131 @default.
- W1565082713 hasOpenAccess W1565082713 @default.
- W1565082713 hasPrimaryLocation W15650827131 @default.
- W1565082713 hasRelatedWork W1518138802 @default.
- W1565082713 hasRelatedWork W1582008002 @default.
- W1565082713 hasRelatedWork W1586690077 @default.
- W1565082713 hasRelatedWork W2034962444 @default.
- W1565082713 hasRelatedWork W2151643528 @default.
- W1565082713 hasRelatedWork W2383908587 @default.
- W1565082713 hasRelatedWork W2479875366 @default.
- W1565082713 hasRelatedWork W2951800949 @default.
- W1565082713 hasRelatedWork W30536913 @default.
- W1565082713 hasRelatedWork W345026911 @default.
- W1565082713 isParatext "false" @default.
- W1565082713 isRetracted "false" @default.
- W1565082713 magId "1565082713" @default.
- W1565082713 workType "book-chapter" @default.