Matches in SemOpenAlex for { <https://semopenalex.org/work/W19314400> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W19314400 endingPage "66" @default.
- W19314400 startingPage "52" @default.
- W19314400 abstract "The temporal evolution of mobile processes is governed by independently operating local clocks and their migration timeouts. We define a formalism modelling such distributed systems allowing (maximal) parallel execution at each location. Taking into account explicit timing constraints based on migration and interprocess communication, we introduce and study a number of timed behavioural equivalences, aiming to provide theoretical underpinnings of verification methods. We also investigate relationships between such behavioural equivalences." @default.
- W19314400 created "2016-06-24" @default.
- W19314400 creator A5031723739 @default.
- W19314400 creator A5042490356 @default.
- W19314400 creator A5072509898 @default.
- W19314400 date "2012-01-01" @default.
- W19314400 modified "2023-09-27" @default.
- W19314400 title "Behavioural Equivalences over Migrating Processes with Timers" @default.
- W19314400 cites W1503193984 @default.
- W19314400 cites W1516727468 @default.
- W19314400 cites W1534426552 @default.
- W19314400 cites W1700678307 @default.
- W19314400 cites W2000280189 @default.
- W19314400 cites W2001026449 @default.
- W19314400 cites W2027689693 @default.
- W19314400 cites W2036541902 @default.
- W19314400 cites W2048826020 @default.
- W19314400 cites W2089546907 @default.
- W19314400 cites W2125382028 @default.
- W19314400 cites W2131862443 @default.
- W19314400 cites W4212790255 @default.
- W19314400 cites W4243186596 @default.
- W19314400 cites W87188743 @default.
- W19314400 cites W1536792823 @default.
- W19314400 doi "https://doi.org/10.1007/978-3-642-30793-5_4" @default.
- W19314400 hasPublicationYear "2012" @default.
- W19314400 type Work @default.
- W19314400 sameAs 19314400 @default.
- W19314400 citedByCount "7" @default.
- W19314400 countsByYear W193144002013 @default.
- W19314400 countsByYear W193144002015 @default.
- W19314400 countsByYear W193144002016 @default.
- W19314400 countsByYear W193144002021 @default.
- W19314400 crossrefType "book-chapter" @default.
- W19314400 hasAuthorship W19314400A5031723739 @default.
- W19314400 hasAuthorship W19314400A5042490356 @default.
- W19314400 hasAuthorship W19314400A5072509898 @default.
- W19314400 hasBestOaLocation W193144001 @default.
- W19314400 hasConcept C120314980 @default.
- W19314400 hasConcept C142362112 @default.
- W19314400 hasConcept C153349607 @default.
- W19314400 hasConcept C161771561 @default.
- W19314400 hasConcept C199360897 @default.
- W19314400 hasConcept C204156049 @default.
- W19314400 hasConcept C41008148 @default.
- W19314400 hasConcept C558565934 @default.
- W19314400 hasConcept C73301696 @default.
- W19314400 hasConcept C80444323 @default.
- W19314400 hasConceptScore W19314400C120314980 @default.
- W19314400 hasConceptScore W19314400C142362112 @default.
- W19314400 hasConceptScore W19314400C153349607 @default.
- W19314400 hasConceptScore W19314400C161771561 @default.
- W19314400 hasConceptScore W19314400C199360897 @default.
- W19314400 hasConceptScore W19314400C204156049 @default.
- W19314400 hasConceptScore W19314400C41008148 @default.
- W19314400 hasConceptScore W19314400C558565934 @default.
- W19314400 hasConceptScore W19314400C73301696 @default.
- W19314400 hasConceptScore W19314400C80444323 @default.
- W19314400 hasLocation W193144001 @default.
- W19314400 hasOpenAccess W19314400 @default.
- W19314400 hasPrimaryLocation W193144001 @default.
- W19314400 hasRelatedWork W1545726444 @default.
- W19314400 hasRelatedWork W1749129787 @default.
- W19314400 hasRelatedWork W19314400 @default.
- W19314400 hasRelatedWork W2102904625 @default.
- W19314400 hasRelatedWork W2105399249 @default.
- W19314400 hasRelatedWork W2124931280 @default.
- W19314400 hasRelatedWork W2157045788 @default.
- W19314400 hasRelatedWork W2808050154 @default.
- W19314400 hasRelatedWork W4234562046 @default.
- W19314400 hasRelatedWork W2804226765 @default.
- W19314400 isParatext "false" @default.
- W19314400 isRetracted "false" @default.
- W19314400 magId "19314400" @default.
- W19314400 workType "book-chapter" @default.