Matches in SemOpenAlex for { <https://semopenalex.org/work/W2335156980> ?p ?o ?g. }
- W2335156980 endingPage "1498" @default.
- W2335156980 startingPage "1459" @default.
- W2335156980 abstract "Given a synchronous system, we study the question whether – or, under which conditions – the behaviour of that system can be realized by a (non-trivially) distributed and hence asynchronous implementation. In this paper, we partially answer this question by examining the role of causality for the implementation of synchrony in two fundamental different formalisms of concurrency, Petri nets and the π-calculus. For both formalisms it turns out that each ‘good’ encoding of synchronous interactions using just asynchronous interactions introduces causal dependencies in the translation." @default.
- W2335156980 created "2016-06-24" @default.
- W2335156980 creator A5018685791 @default.
- W2335156980 creator A5043019083 @default.
- W2335156980 creator A5053791557 @default.
- W2335156980 creator A5085709699 @default.
- W2335156980 date "2014-12-23" @default.
- W2335156980 modified "2023-10-14" @default.
- W2335156980 title "Synchrony versus causality in distributed systems" @default.
- W2335156980 cites W1496594277 @default.
- W2335156980 cites W1552467245 @default.
- W2335156980 cites W1571449242 @default.
- W2335156980 cites W1591694044 @default.
- W2335156980 cites W1824051602 @default.
- W2335156980 cites W1968539782 @default.
- W2335156980 cites W1984801861 @default.
- W2335156980 cites W2001965745 @default.
- W2335156980 cites W2003244731 @default.
- W2335156980 cites W2020813639 @default.
- W2335156980 cites W2021990421 @default.
- W2335156980 cites W2029133311 @default.
- W2335156980 cites W2048909687 @default.
- W2335156980 cites W2050942832 @default.
- W2335156980 cites W2060992753 @default.
- W2335156980 cites W2095971297 @default.
- W2335156980 cites W2098981343 @default.
- W2335156980 cites W2134322412 @default.
- W2335156980 cites W2139722508 @default.
- W2335156980 cites W2912434934 @default.
- W2335156980 cites W2914597273 @default.
- W2335156980 cites W3037499676 @default.
- W2335156980 cites W3124439491 @default.
- W2335156980 doi "https://doi.org/10.1017/s0960129514000644" @default.
- W2335156980 hasPublicationYear "2014" @default.
- W2335156980 type Work @default.
- W2335156980 sameAs 2335156980 @default.
- W2335156980 citedByCount "2" @default.
- W2335156980 countsByYear W23351569802020 @default.
- W2335156980 countsByYear W23351569802021 @default.
- W2335156980 crossrefType "journal-article" @default.
- W2335156980 hasAuthorship W2335156980A5018685791 @default.
- W2335156980 hasAuthorship W2335156980A5043019083 @default.
- W2335156980 hasAuthorship W2335156980A5053791557 @default.
- W2335156980 hasAuthorship W2335156980A5085709699 @default.
- W2335156980 hasConcept C104317684 @default.
- W2335156980 hasConcept C105580179 @default.
- W2335156980 hasConcept C120314980 @default.
- W2335156980 hasConcept C121332964 @default.
- W2335156980 hasConcept C125411270 @default.
- W2335156980 hasConcept C149364088 @default.
- W2335156980 hasConcept C151319957 @default.
- W2335156980 hasConcept C154945302 @default.
- W2335156980 hasConcept C171018156 @default.
- W2335156980 hasConcept C185592680 @default.
- W2335156980 hasConcept C193702766 @default.
- W2335156980 hasConcept C199360897 @default.
- W2335156980 hasConcept C2524010 @default.
- W2335156980 hasConcept C2779019669 @default.
- W2335156980 hasConcept C31258907 @default.
- W2335156980 hasConcept C33923547 @default.
- W2335156980 hasConcept C38677869 @default.
- W2335156980 hasConcept C41008148 @default.
- W2335156980 hasConcept C55493867 @default.
- W2335156980 hasConcept C62520636 @default.
- W2335156980 hasConcept C64357122 @default.
- W2335156980 hasConcept C80444323 @default.
- W2335156980 hasConceptScore W2335156980C104317684 @default.
- W2335156980 hasConceptScore W2335156980C105580179 @default.
- W2335156980 hasConceptScore W2335156980C120314980 @default.
- W2335156980 hasConceptScore W2335156980C121332964 @default.
- W2335156980 hasConceptScore W2335156980C125411270 @default.
- W2335156980 hasConceptScore W2335156980C149364088 @default.
- W2335156980 hasConceptScore W2335156980C151319957 @default.
- W2335156980 hasConceptScore W2335156980C154945302 @default.
- W2335156980 hasConceptScore W2335156980C171018156 @default.
- W2335156980 hasConceptScore W2335156980C185592680 @default.
- W2335156980 hasConceptScore W2335156980C193702766 @default.
- W2335156980 hasConceptScore W2335156980C199360897 @default.
- W2335156980 hasConceptScore W2335156980C2524010 @default.
- W2335156980 hasConceptScore W2335156980C2779019669 @default.
- W2335156980 hasConceptScore W2335156980C31258907 @default.
- W2335156980 hasConceptScore W2335156980C33923547 @default.
- W2335156980 hasConceptScore W2335156980C38677869 @default.
- W2335156980 hasConceptScore W2335156980C41008148 @default.
- W2335156980 hasConceptScore W2335156980C55493867 @default.
- W2335156980 hasConceptScore W2335156980C62520636 @default.
- W2335156980 hasConceptScore W2335156980C64357122 @default.
- W2335156980 hasConceptScore W2335156980C80444323 @default.
- W2335156980 hasIssue "8" @default.
- W2335156980 hasLocation W23351569801 @default.
- W2335156980 hasOpenAccess W2335156980 @default.
- W2335156980 hasPrimaryLocation W23351569801 @default.
- W2335156980 hasRelatedWork W1490556023 @default.
- W2335156980 hasRelatedWork W1517948404 @default.
- W2335156980 hasRelatedWork W2016259411 @default.
- W2335156980 hasRelatedWork W2170115973 @default.
- W2335156980 hasRelatedWork W2335156980 @default.
- W2335156980 hasRelatedWork W2502459757 @default.