Synchrony versus causality in distributed systems
| dc.contributor.author | Peters, Kirstin | |
| dc.contributor.author | Schicke-Uffmann, Jens-Wolfhard | |
| dc.contributor.author | Goltz, Ursula | |
| dc.contributor.author | Nestmann, Uwe | |
| dc.date.accessioned | 2017-11-23T12:53:40Z | |
| dc.date.available | 2017-11-23T12:53:40Z | |
| dc.date.issued | 2014 | |
| dc.description | Dieser Beitrag ist mit Zustimmung des Rechteinhabers aufgrund einer (DFG geförderten) Allianz- bzw. Nationallizenz frei zugänglich. | de |
| dc.description | This publication is with permission of the rights owner freely accessible due to an Alliance licence and a national licence (funded by the DFG, German Research Foundation) respectively. | en |
| dc.description.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. | en |
| dc.identifier.eissn | 1469-8072 | |
| dc.identifier.issn | 0960-1295 | |
| dc.identifier.uri | https://depositonce.tu-berlin.de/handle/11303/7170 | |
| dc.identifier.uri | http://dx.doi.org/10.14279/depositonce-6445 | |
| dc.language.iso | en | |
| dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | |
| dc.subject.ddc | 004 Datenverarbeitung; Informatik | |
| dc.title | Synchrony versus causality in distributed systems | en |
| dc.type | Article | |
| dc.type.version | publishedVersion | |
| dcterms.bibliographicCitation.doi | 10.1017/s0960129514000644 | |
| dcterms.bibliographicCitation.issue | 8 | |
| dcterms.bibliographicCitation.journaltitle | Mathematical structures in computer science | |
| dcterms.bibliographicCitation.originalpublishername | Cambridge University Press | |
| dcterms.bibliographicCitation.originalpublisherplace | Cambridge | |
| dcterms.bibliographicCitation.pageend | 1498 | |
| dcterms.bibliographicCitation.pagestart | 1459 | |
| dcterms.bibliographicCitation.volume | 26 | |
| tub.accessrights.dnb | domain | |
| tub.affiliation | Fak. 4 Elektrotechnik und Informatik::Inst. Softwaretechnik und Theoretische Informatik::FG Modelle und Theorie Verteilter Systeme | de |
| tub.affiliation.faculty | Fak. 4 Elektrotechnik und Informatik | de |
| tub.affiliation.group | FG Modelle und Theorie Verteilter Systeme | de |
| tub.affiliation.institute | Inst. Softwaretechnik und Theoretische Informatik | de |
| tub.publisher.universityorinstitution | Technische Universität Berlin |
Files
Original bundle
1 - 1 of 1
Loading…
- Name:
- synchrony_versus_causality_in_distributed_systems.pdf
- Size:
- 357.84 KB
- Format:
- Adobe Portable Document Format