Sign inSign up
Research 3: Three Semantics for Distributed Systems and their Relations with Alignment Composition thumbnail
slide-image
Pause
Mute
Subtitles not available
Playback speed
0.25
0.5
0.75
1
1.25
1.5
1.75
2
Full screen

Research 3: Three Semantics for Distributed Systems and their Relations with Alignment Composition

Published on Feb 25, 20073652 Views

Antoine Zimmermann

Research

Chapter list

Three Semantics for Distributed Systems and their Relations with Alignment Composition00:10
Goals and Issues00:58
Outline01:59
Alignments03:11
Alignment Syntax03:58
Distributed Systems05:35
Preliminaries: Local Semantics06:06
Preliminaries: Local Semantics07:46
Generality: Satisfied Correspondences08:42
Generality: Model of an Alignment10:15
Simple Distributed Semantics10:49
Simple Distributed Semantics11:42
Integrated Distributed Semantics12:58
Integrated Distributed Semantics13:05
Integrated Distributed Semantics13:40
Contextualized Distributed Semantics14:59
Contextualized Distributed Semantics16:46
Syntactic Composition17:18
Composition: Example18:24
Simple Semantic Composition18:50
Integrated Semantic Composition20:13
Contextualized Semantic Composition21:07
Example22:13
Conclusion24:00
Thank you25:50