Sökning: "compositional event semantics"
Hittade 2 avhandlingar innehållade orden compositional event semantics.
1. Disarming Context Dependence. A Formal Inquiry into Indexicalism and Truth-Conditional Pragmatics
Sammanfattning : .... LÄS MER
2. Securing Interactive Systems
Sammanfattning : This thesis provides means to achieve end-to-end information-flow security in interactive systems. The elusiveness of this problem stems from the fact that interaction patterns, primitives, synchronous communication and nondeterminism combine in ways where seemingly innocuous systems compromise security in unexpected ways under interaction. LÄS MER
Resultatsidor:
1