Core Concepts
Die Arbeit untersucht semantische Gegenstücke für die syntaktischen Wohlgeformtheitseigenschaften globaler Typen, nämlich Projektierbarkeit und Beschränktheit, im Modell der Prime Event Structures.
Abstract
Die Arbeit baut auf früheren Arbeiten auf, in denen eine Ereignisstruktur-Semantik für Multiparty-Sitzungstypen entwickelt wurde. In dieser Arbeit wird untersucht, wie die Wohlgeformtheitseigenschaft globaler Typen in ihrer Interpretation als Prime Event Structures widergespiegelt wird.
Die Autoren zeigen Folgendes:
- Alle wohlgeformten globalen Typen, die dasselbe Netzwerk typisieren, ergeben identische Prime Event Structures.
- Die vorgeschlagenen semantischen Eigenschaften der Projektierbarkeit und Beschränktheit für Prime Event Structures spiegeln die entsprechenden Eigenschaften globaler Typen wider.
- Prime Event Structures, die aus globalen Typen gewonnen werden, weisen einige einfache strukturelle Eigenschaften auf.
Die Arbeit diskutiert auch den Zusammenhang zwischen der Ereignisstruktur-Semantik für den linearen Unterkalkül von CCS und anderen Ereignisstruktur-Semantiken für CCS-Fragmente.
Stats
Es gibt keine expliziten Statistiken oder Kennzahlen in diesem Artikel.
Quotes
"Alle wohlgeformten globalen Typen, die dasselbe Netzwerk typisieren, ergeben identische Prime Event Structures."
"Die vorgeschlagenen semantischen Eigenschaften der Projektierbarkeit und Beschränktheit für Prime Event Structures spiegeln die entsprechenden Eigenschaften globaler Typen wider."
"Prime Event Structures, die aus globalen Typen gewonnen werden, weisen einige einfache strukturelle Eigenschaften auf."