Sökning: "HD-automata"

Hittade 1 avhandling innehållade ordet HD-automata.

1. 1. 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