We apply the recently developed techniques of higher order abstract syntax and functorial operational semantics to give a compositional and fully abstract ...

We apply the recently developed techniques of higher order abstract syntax and functorial opera- tional semantics to give a compositional and fully abstract ...

We apply the recently developed techniques of higher order abstract syntax and functorial operational semantics to give a compositional and fully abstract ...

Dec 22, 2005 · In this thesis we investigate two operational models of name-passing calculi: one based on coalgebra, and one based on enriched automata. We ...

We apply the recently developed techniques of higher order abstract syntax and functorial operational semantics to give a compositional and fully abstract ...

No information is available for this page. · Learn why

Research paper thumbnail of Relationally Staged Computations in Calculi of Mobile Processes. Relationally Staged Computations in Calculi of Mobile Processes.

Apr 25, 2024 · Modelling Fusion Calculus using HD-Automata. CALCO 2005: 142-156. [c2] ... Relationally Staged Computations in Calculi of Mobile Processes.

The pi-calculus provides a conceptual framework for understanding mobility, and mathematical tools for expressing systems and reasoning about their behaviors.

Relationally staged computations in calculi of mobile processes. N Ghani, K Yemane, B Victor. Electronic Notes in Theoretical Computer Science 106, 105-120 ...