Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000280189> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2000280189 endingPage "99" @default.
- W2000280189 startingPage "81" @default.
- W2000280189 abstract "We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed π-calculus. This model extends distributed π-calculus with timers, transforming the communication channels into temporary resources. Distributed π-calculus describes located interactions between processes with restricted access to resources. We introduce time constraints by considering timeout timers for channels. Combining these timers with types and locations, we provide a formal framework able to describe complex systems with constraints on time and on resource access. Its typing system and operational semantics are presented. It is proved that the passage of time does not interfere with the typing system. The new model is proved to be sound by using a method based on subject reduction." @default.
- W2000280189 created "2016-06-24" @default.
- W2000280189 creator A5057501730 @default.
- W2000280189 creator A5072509898 @default.
- W2000280189 date "2006-10-01" @default.
- W2000280189 modified "2023-09-23" @default.
- W2000280189 title "Timers for Distributed Systems" @default.
- W2000280189 cites W1980939032 @default.
- W2000280189 cites W2001026449 @default.
- W2000280189 cites W2004048608 @default.
- W2000280189 cites W2071095465 @default.
- W2000280189 cites W2093410407 @default.
- W2000280189 cites W2128932399 @default.
- W2000280189 doi "https://doi.org/10.1016/j.entcs.2006.07.013" @default.
- W2000280189 hasPublicationYear "2006" @default.
- W2000280189 type Work @default.
- W2000280189 sameAs 2000280189 @default.
- W2000280189 citedByCount "38" @default.
- W2000280189 countsByYear W20002801892012 @default.
- W2000280189 countsByYear W20002801892013 @default.
- W2000280189 countsByYear W20002801892014 @default.
- W2000280189 countsByYear W20002801892015 @default.
- W2000280189 countsByYear W20002801892016 @default.
- W2000280189 countsByYear W20002801892017 @default.
- W2000280189 countsByYear W20002801892018 @default.
- W2000280189 countsByYear W20002801892019 @default.
- W2000280189 countsByYear W20002801892020 @default.
- W2000280189 countsByYear W20002801892022 @default.
- W2000280189 crossrefType "journal-article" @default.
- W2000280189 hasAuthorship W2000280189A5057501730 @default.
- W2000280189 hasAuthorship W2000280189A5072509898 @default.
- W2000280189 hasConcept C120314980 @default.
- W2000280189 hasConcept C156325763 @default.
- W2000280189 hasConcept C184337299 @default.
- W2000280189 hasConcept C199360897 @default.
- W2000280189 hasConcept C206345919 @default.
- W2000280189 hasConcept C31258907 @default.
- W2000280189 hasConcept C31691690 @default.
- W2000280189 hasConcept C41008148 @default.
- W2000280189 hasConcept C80444323 @default.
- W2000280189 hasConceptScore W2000280189C120314980 @default.
- W2000280189 hasConceptScore W2000280189C156325763 @default.
- W2000280189 hasConceptScore W2000280189C184337299 @default.
- W2000280189 hasConceptScore W2000280189C199360897 @default.
- W2000280189 hasConceptScore W2000280189C206345919 @default.
- W2000280189 hasConceptScore W2000280189C31258907 @default.
- W2000280189 hasConceptScore W2000280189C31691690 @default.
- W2000280189 hasConceptScore W2000280189C41008148 @default.
- W2000280189 hasConceptScore W2000280189C80444323 @default.
- W2000280189 hasIssue "3" @default.
- W2000280189 hasLocation W20002801891 @default.
- W2000280189 hasOpenAccess W2000280189 @default.
- W2000280189 hasPrimaryLocation W20002801891 @default.
- W2000280189 hasRelatedWork W1482532369 @default.
- W2000280189 hasRelatedWork W1502311553 @default.
- W2000280189 hasRelatedWork W1587224678 @default.
- W2000280189 hasRelatedWork W1597178555 @default.
- W2000280189 hasRelatedWork W1981466053 @default.
- W2000280189 hasRelatedWork W2106305471 @default.
- W2000280189 hasRelatedWork W2167798814 @default.
- W2000280189 hasRelatedWork W2915995131 @default.
- W2000280189 hasRelatedWork W3021003119 @default.
- W2000280189 hasRelatedWork W2788308474 @default.
- W2000280189 hasVolume "164" @default.
- W2000280189 isParatext "false" @default.
- W2000280189 isRetracted "false" @default.
- W2000280189 magId "2000280189" @default.
- W2000280189 workType "article" @default.