Search for dissertations about: "process calculi"
Showing result 1 - 5 of 15 swedish dissertations containing the words process calculi.
-
1. Formalising process calculi
Abstract : As the complexity of programs increase, so does the complexity of the models required to reason about them. Process calculi were introduced in the early 1980s and have since then been used to model communication protocols of varying size and scope. READ MORE
-
2. Psi-calculi: a framework for mobile process calculi : Cook your own correct process calculus - just add data and logic
Abstract : 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. READ MORE
-
3. Relations in Models of Calculi and Logics with Names
Abstract : 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. READ MORE
-
4. Dynamic Binding of Names in Calculi for Mobile Processes
Abstract : .... READ MORE
-
5. A calculus of real time systems
Abstract : .... READ MORE