Matches in SemOpenAlex for { <https://semopenalex.org/work/W137260420> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W137260420 abstract "We consider TiMo (Timed Mobility) which is a process algebra for prototyping software engineering applications supporting mobility and timing constraints. We provide an alternative semantics of TiMo using rewriting logic; in particular, we develop a rewriting logic model based on strategies to describe a maximal parallel computational step of a TiMo specification. This new semantical model is proved to be sound and complete w.r.t. to the original operational semantics which was based on negative premises. We implement the rewriting model within the strategy-based rewriting system Elan, and provide an example illustrating how a TiMo specification is executed and how a range of (behavioural) properties are analysed." @default.
- W137260420 created "2016-06-24" @default.
- W137260420 creator A5017444856 @default.
- W137260420 creator A5042490356 @default.
- W137260420 creator A5072509898 @default.
- W137260420 date "2012-01-01" @default.
- W137260420 modified "2023-09-28" @default.
- W137260420 title "A Timed Mobility Semantics Based on Rewriting Strategies" @default.
- W137260420 cites W137260420 @default.
- W137260420 cites W1517760837 @default.
- W137260420 cites W1534426552 @default.
- W137260420 cites W1543189905 @default.
- W137260420 cites W1567531241 @default.
- W137260420 cites W1584504099 @default.
- W137260420 cites W1970078694 @default.
- W137260420 cites W1972210479 @default.
- W137260420 cites W1976195354 @default.
- W137260420 cites W2000280189 @default.
- W137260420 cites W2033663641 @default.
- W137260420 cites W2036541902 @default.
- W137260420 cites W2106561528 @default.
- W137260420 cites W2134287022 @default.
- W137260420 cites W2147892488 @default.
- W137260420 cites W2912003593 @default.
- W137260420 cites W4212790255 @default.
- W137260420 cites W87188743 @default.
- W137260420 doi "https://doi.org/10.1007/978-3-642-33826-7_10" @default.
- W137260420 hasPublicationYear "2012" @default.
- W137260420 type Work @default.
- W137260420 sameAs 137260420 @default.
- W137260420 citedByCount "2" @default.
- W137260420 countsByYear W1372604202012 @default.
- W137260420 countsByYear W1372604202014 @default.
- W137260420 crossrefType "book-chapter" @default.
- W137260420 hasAuthorship W137260420A5017444856 @default.
- W137260420 hasAuthorship W137260420A5042490356 @default.
- W137260420 hasAuthorship W137260420A5072509898 @default.
- W137260420 hasBestOaLocation W1372604202 @default.
- W137260420 hasConcept C128838566 @default.
- W137260420 hasConcept C154690210 @default.
- W137260420 hasConcept C156325763 @default.
- W137260420 hasConcept C161771561 @default.
- W137260420 hasConcept C184337299 @default.
- W137260420 hasConcept C199360897 @default.
- W137260420 hasConcept C2987117450 @default.
- W137260420 hasConcept C41008148 @default.
- W137260420 hasConcept C77906462 @default.
- W137260420 hasConcept C80444323 @default.
- W137260420 hasConceptScore W137260420C128838566 @default.
- W137260420 hasConceptScore W137260420C154690210 @default.
- W137260420 hasConceptScore W137260420C156325763 @default.
- W137260420 hasConceptScore W137260420C161771561 @default.
- W137260420 hasConceptScore W137260420C184337299 @default.
- W137260420 hasConceptScore W137260420C199360897 @default.
- W137260420 hasConceptScore W137260420C2987117450 @default.
- W137260420 hasConceptScore W137260420C41008148 @default.
- W137260420 hasConceptScore W137260420C77906462 @default.
- W137260420 hasConceptScore W137260420C80444323 @default.
- W137260420 hasLocation W1372604201 @default.
- W137260420 hasLocation W1372604202 @default.
- W137260420 hasOpenAccess W137260420 @default.
- W137260420 hasPrimaryLocation W1372604201 @default.
- W137260420 hasRelatedWork W1535192306 @default.
- W137260420 hasRelatedWork W1560300944 @default.
- W137260420 hasRelatedWork W1586432163 @default.
- W137260420 hasRelatedWork W1599126164 @default.
- W137260420 hasRelatedWork W1976985409 @default.
- W137260420 hasRelatedWork W1981466053 @default.
- W137260420 hasRelatedWork W2010321110 @default.
- W137260420 hasRelatedWork W2017855559 @default.
- W137260420 hasRelatedWork W2030762481 @default.
- W137260420 hasRelatedWork W2053342841 @default.
- W137260420 hasRelatedWork W2065507854 @default.
- W137260420 hasRelatedWork W2087293319 @default.
- W137260420 hasRelatedWork W2111874500 @default.
- W137260420 hasRelatedWork W2131622288 @default.
- W137260420 hasRelatedWork W2390014333 @default.
- W137260420 hasRelatedWork W2943346267 @default.
- W137260420 hasRelatedWork W3150067715 @default.
- W137260420 hasRelatedWork W1744983872 @default.
- W137260420 hasRelatedWork W2049295871 @default.
- W137260420 hasRelatedWork W2585339290 @default.
- W137260420 isParatext "false" @default.
- W137260420 isRetracted "false" @default.
- W137260420 magId "137260420" @default.
- W137260420 workType "book-chapter" @default.