FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W94712912> ?p ?o ?g. }

• W94712912 abstract "The language μCRL allows to specify processes with data and to reason with them in an algebraic vein. This allows to express and reason about global correctness of systems. Sometimes,one only needs to analyse particular properties of μCRL-processes. Modal logics are very convenient to express and verify such properties. Therefore, we define a modal logic for μCRL. It is abranching time modal logic based on actions. It has future and past operators and it allows for reasoning about data, for instance using first order quantification over data variables. It is shownthat these modal formulae cannot distinguish between divergence sensitive branching bisimilar processes." @default.
• W94712912 created "2016-06-24" @default.
• W94712912 creator A5032619003 @default.
• W94712912 creator A5080242473 @default.
• W94712912 date "1994-05-01" @default.
• W94712912 modified "2023-09-23" @default.
• W94712912 title "A Modal Logic for μCRL" @default.
• W94712912 hasPublicationYear "1994" @default.
• W94712912 type Work @default.
• W94712912 sameAs 94712912 @default.
• W94712912 citedByCount "1" @default.
• W94712912 crossrefType "journal-article" @default.
• W94712912 hasAuthorship W94712912A5032619003 @default.
• W94712912 hasAuthorship W94712912A5080242473 @default.
• W94712912 hasConcept C102993220 @default.
• W94712912 hasConcept C11191006 @default.
• W94712912 hasConcept C114092440 @default.
• W94712912 hasConcept C11413529 @default.
• W94712912 hasConcept C119599485 @default.
• W94712912 hasConcept C127413603 @default.
• W94712912 hasConcept C134306372 @default.
• W94712912 hasConcept C136119220 @default.
• W94712912 hasConcept C138885662 @default.
• W94712912 hasConcept C159985019 @default.
• W94712912 hasConcept C165801399 @default.
• W94712912 hasConcept C172385210 @default.
• W94712912 hasConcept C185592680 @default.
• W94712912 hasConcept C188027245 @default.
• W94712912 hasConcept C192562407 @default.
• W94712912 hasConcept C192609573 @default.
• W94712912 hasConcept C199360897 @default.
• W94712912 hasConcept C202444582 @default.
• W94712912 hasConcept C203659156 @default.
• W94712912 hasConcept C206175624 @default.
• W94712912 hasConcept C207390915 @default.
• W94712912 hasConcept C25016198 @default.
• W94712912 hasConcept C27508121 @default.
• W94712912 hasConcept C2777796570 @default.
• W94712912 hasConcept C33923547 @default.
• W94712912 hasConcept C41008148 @default.
• W94712912 hasConcept C41895202 @default.
• W94712912 hasConcept C4777664 @default.
• W94712912 hasConcept C55439883 @default.
• W94712912 hasConcept C71139939 @default.
• W94712912 hasConcept C80444323 @default.
• W94712912 hasConcept C9376300 @default.
• W94712912 hasConceptScore W94712912C102993220 @default.
• W94712912 hasConceptScore W94712912C11191006 @default.
• W94712912 hasConceptScore W94712912C114092440 @default.
• W94712912 hasConceptScore W94712912C11413529 @default.
• W94712912 hasConceptScore W94712912C119599485 @default.
• W94712912 hasConceptScore W94712912C127413603 @default.
• W94712912 hasConceptScore W94712912C134306372 @default.
• W94712912 hasConceptScore W94712912C136119220 @default.
• W94712912 hasConceptScore W94712912C138885662 @default.
• W94712912 hasConceptScore W94712912C159985019 @default.
• W94712912 hasConceptScore W94712912C165801399 @default.
• W94712912 hasConceptScore W94712912C172385210 @default.
• W94712912 hasConceptScore W94712912C185592680 @default.
• W94712912 hasConceptScore W94712912C188027245 @default.
• W94712912 hasConceptScore W94712912C192562407 @default.
• W94712912 hasConceptScore W94712912C192609573 @default.
• W94712912 hasConceptScore W94712912C199360897 @default.
• W94712912 hasConceptScore W94712912C202444582 @default.
• W94712912 hasConceptScore W94712912C203659156 @default.
• W94712912 hasConceptScore W94712912C206175624 @default.
• W94712912 hasConceptScore W94712912C207390915 @default.
• W94712912 hasConceptScore W94712912C25016198 @default.
• W94712912 hasConceptScore W94712912C27508121 @default.
• W94712912 hasConceptScore W94712912C2777796570 @default.
• W94712912 hasConceptScore W94712912C33923547 @default.
• W94712912 hasConceptScore W94712912C41008148 @default.
• W94712912 hasConceptScore W94712912C41895202 @default.
• W94712912 hasConceptScore W94712912C4777664 @default.
• W94712912 hasConceptScore W94712912C55439883 @default.
• W94712912 hasConceptScore W94712912C71139939 @default.
• W94712912 hasConceptScore W94712912C80444323 @default.
• W94712912 hasConceptScore W94712912C9376300 @default.
• W94712912 hasLocation W947129121 @default.
• W94712912 hasOpenAccess W94712912 @default.
• W94712912 hasPrimaryLocation W947129121 @default.
• W94712912 hasRelatedWork W1488067246 @default.
• W94712912 hasRelatedWork W153408086 @default.
• W94712912 hasRelatedWork W1556115420 @default.
• W94712912 hasRelatedWork W2039646283 @default.
• W94712912 hasRelatedWork W2113686430 @default.
• W94712912 hasRelatedWork W2151485489 @default.
• W94712912 hasRelatedWork W2239029320 @default.
• W94712912 hasRelatedWork W2375128084 @default.
• W94712912 hasRelatedWork W2398539043 @default.
• W94712912 hasRelatedWork W2577629414 @default.
• W94712912 hasRelatedWork W2752020647 @default.
• W94712912 hasRelatedWork W2901054382 @default.
• W94712912 hasRelatedWork W2977466362 @default.
• W94712912 hasRelatedWork W2989671578 @default.
• W94712912 hasRelatedWork W3010955378 @default.
• W94712912 hasRelatedWork W3122067392 @default.
• W94712912 hasRelatedWork W3139937676 @default.
• W94712912 hasRelatedWork W3150016421 @default.
• W94712912 hasRelatedWork W3173669304 @default.

• next