Sökning: "Process Calculi"
Visar resultat 6 - 10 av 15 avhandlingar innehållade orden Process Calculi.
6. Bells and Whistles : Advanced language features in psi-calculi
Sammanfattning : Psi-calculi is a parametric framework for process calculi similar to popular pi-calculus extensions such as the explicit fusion calculus, the applied pi-calculus and the spi calculus. Remarkably, machine-checked proofs of standard algebraic and congruence properties of bisimilarity apply to every instance of the framework. LÄS MER
7. The Noncommutative Geometry of Real Calculi
Sammanfattning : Noncommutative geometry extends the traditional connections between algebra and geometry beyond the realm of commutative algebras, allowing for a broader exploration of geometric concepts in noncommutative settings. The geometric perspective facilitates the study and understanding of various mathematical structures, including operator algebras, quantum groups, and noncommutative spaces. LÄS MER
8. Extending psi-calculi and their formal proofs
Sammanfattning : Psi-calculi is a parametric framework for extensions of the pi-calculus, with arbitrary data structures and logical assertions for facts about data. This thesis presents broadcast psi-calculi and higher-order psi-calculi, two extensions of the psi-calculi framework, allowing respectively one-to-many communications and the use of higher-order process descriptions through conditions in the parameterised logic. LÄS MER
9. Equivalences and Calculi for Formal Verification of Cryptographic Protocols
Sammanfattning : Security protocols are essential to the proper functioning of any distributed system running over an insecure network but often have flaws that can be exploited even without breaking the cryptography. Formal cryptography, the assumption that the cryptographic primitives are flawless, facilitates the construction of formal models and verification tools. LÄS MER
10. Languages, Logics, Types and Tools for Concurrent System Modelling
Sammanfattning : A concurrent system is a computer system with components that run in parallel and interact with each other. Such systems are ubiquitous and are notably responsible for supporting the infrastructure for transport, commerce and entertainment. LÄS MER