Sökning: "equivalence definition"

Visar resultat 1 - 5 av 11 avhandlingar innehållade orden equivalence definition.

1. 1. Logics of Knowledge and Cryptography : Completeness and Expressiveness

   Författare :Mika Cohen; Mads Dam; Alessio Lomuscio; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; epistemic logic; first-order logic; formal cryptography; static equivalence; security protocols; BAN logic; multi-agent system; completeness; logical omniscience problem; Computer science; Datavetenskap;

   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

3. 2. Psi-calculi: a framework for mobile process calculi : Cook your own correct process calculus - just add data and logic

   Författare :Magnus Johansson; Björn Victor; Joachim Parrow; Catuscia Palamidessi; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; process calculi; pi-calculus; bisimulation; operational semantics; nominal logic; Computer science; Datavetenskap; Datavetenskap; Computer Science;

   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

4. 3. Relations in Models of Calculi and Logics with Names

   Författare :Kidane Yemane; Björn Victor; John Power; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Process Calculi; Syntax; Semantics; HD-automata; Logic; Category theory; Computer engineering; Datorteknik;

   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

5. 4. The Greek Interjections : Studies on the Syntax, Semantics and Pragmatics of the Interjections in Fifth-Century Drama

   Författare :Lars Nordgren; Eva-Carin Gerö; Dag Haug; Geoffrey Horrocks; Stockholms universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; interjections; Ameka; semantics; Ancient Greek language; Ancient Greek drama; historical corpus linguistics; Greek; grekiska;

   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

7. 5. Koszul duality for categories and a relative Sullivan-Wilkerson theorem

   Författare :Hadrien Espic; Gregory Arone; Alexander Berglund; Bjørn Dundas; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Koszul duality; categories; Yoneda algebra; operads; dg modules; homotopy automorphisms; Sullivan-Wilkerson; arithmetic group; matematik; Mathematics;

   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