Loading...
Please wait, while we are loading the content...
Similar Documents
Three Metric Domains of Processes for Bisimulation (1993)
| Content Provider | CiteSeerX |
|---|---|
| Author | Breugel, Franck Van |
| Description | in Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics, LNCS |
| Abstract | A new metric domain of processes is presented This domain is located in between two metric process domains introduced by De Bakker and Zucker The new process domain characterizes the collection of image nite processes This domain has as advantages over the other process domains that no complications arise in the denitions of operators like sequential composition and parallel composition and that image nite language con structions like random assignment can be modelled in an elementary way As in the other domains bisimilarity and equality coincide in this domain The three domains are obtained as unique up to isometry solutions of equations in a category of bounded complete metric spaces In the case the action set is nite the three domains are shown to be equal up to isometry For innite action sets eg equipollent to the set of natural or real numbers the process domains are proved not to be isometric AMS Subject Classication Q |
| File Format | |
| Publisher Date | 1993-01-01 |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Proceeding Conference Proceedings |
