Sökning: "equivalence definition"
Visar resultat 1 - 5 av 11 avhandlingar innehållade orden equivalence definition.
Sammanfattning : An understanding of cryptographic protocols requires that we examine the knowledge of protocol participants and adversaries: When a participant receives a message, does she know who sent it? Does she know that the message is fresh, and not merely a replay of some old message? Does a network spy know who is talking to whom? This thesis studies logics of knowledge and cryptography. Specifically, the thesis addresses the problem of how to make the concept of knowledge reflect feasible computability within a Kripke-style semantics. LÄS MER
2. Psi-calculi: a framework for mobile process calculi : Cook your own correct process calculus - just add data and logic
Sammanfattning : A psi-calculus is an extension of the pi-calculus with nominal data types for data structures, logical assertions, and conditions. These can be transmitted between processes and their names can be statically scoped as in the standard pi-calculus. LÄS MER
Sammanfattning : In this thesis we investigate two operational models of name-passing calculi: one based on coalgebra, and one based on enriched automata. We develop a semantic framework for modelling the open bisimulation in π-calculus, hyperbisimulation in Fusion calculus, and the first semantic interpretation of FOλ(nabla) logic. LÄS MER
4. The Greek Interjections : Studies on the Syntax, Semantics and Pragmatics of the Interjections in Fifth-Century Drama
Sammanfattning : This thesis investigates the linguistic and philological characteristics of the primary interjections in Ancient Greek drama. It employs Ameka’s definition and classification from 1992 as its theoretical base, and provides a comprehensive research survey. LÄS MER
Sammanfattning : This PhD thesis consists in a collection of three papers on Koszul duality of categories and on an analogue of the Sullivan-Wilkerson theorem for relative CW-complexes.In Paper I, we define a general notion of Koszul dual in the context of a monoidal biclosed model category. LÄS MER