(Downloads - 0)
For more info about our services contact : help@bestpfe.com
Table of contents
1 Introduction
1.1 Motivation
1.2 Context
1.2.1 Concurrent Constraint Programming (CCP)
1.2.2 Equivalences for CCP
1.3 This Dissertation
1.3.1 Checking Strong Bisimilarity in CCP
1.3.2 Reducing Weak to Strong Bisimilarity
1.3.3 Computing Bisimilarity in choice-free CCP
1.3.4 A Behavioral Congruence for CCP
1.4 Contributions and Organization
1.5 Publications from this Dissertation
2 Preliminaries
2.1 Domain theory
2.2 Labeled Transition System, Partition and Graphs
2.3 Partition Refinement
2.4 Concurrent Constraint Programming (CCP)
2.4.1 Constraint Systems
2.4.2 Syntax of CCP
2.4.3 Reduction Semantics
2.4.4 Barbed Semantics and Barbed Bisimilarity
2.4.5 Observational Equivalence
2.4.6 Labeled Semantics
2.4.7 Soundness and Completeness
2.4.8 Strong and Weak Labeled Bisimilarity
3 Verifying Strong Bisimilarity in CCP
3.1 Partition Refinement for CCP
3.1.1 Derivation and Domination
3.1.2 The Algorithm
3.2 Correctness and Complexity
3.2.1 Irredundant and Symbolic Bisimilarity
3.2.2 Proof of Correctness and Complexity
3.3 Summary and Related Work
4 A Weak Semantics for CCP
4.1 The standard reduction from weak to strong
4.1.1 Incompleteness of Milner’s saturation method in CCP
4.2 Reducing Weak Bisimilarity to Strong in CCP
4.2.1 Defining a new saturation method for CCP
4.2.2 The new saturation method is finitely branching
4.2.3 A Remark about our Saturation in CCS
4.2.4 Soundness and Completeness
4.3 Deciding Weak Bisimilarity
4.3.1 Weak Irredundant andWeak Saturated Bisimilarity coincide
4.3.2 Algorithm for weak bisimilarity in CCP
4.4 Summary and Related Work
5 Computing bisimilarity in Choice-Free CCP
5.1 Using Partition Refinement in choice-free CCP
5.1.1 Properties of CCP without choice
5.1.2 Optimizing partition refinement for choice-free CCP
5.2 The compact input-output sets approach
5.2.1 Weak bisimilarity and barb equivalence
5.2.2 A canonical representation of choice-free configurations
5.3 Improving the general partition refinement for CCP
5.4 Summary and Related Work
6 A Behavioral Congruence for CCP
6.1 Congruence issues
6.2 Weak full bisimilarity
6.2.1 More than weak barbs
6.2.2 Full Bisimilarity is a Congruence
6.2.3 Relation with observational equivalence
6.2.4 Behavioral congruence
6.3 Summary and Related Work
7 Conclusions
7.1 Summary
7.2 Future Work
