A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Three metric domains of processes for bisimulation
[chapter]
1994
Lecture Notes in Computer Science
A new metric domain of processes is presented. This domain is located in between two metric process domains introduced by D e B a k k er 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 de nitions of operators like sequential composition and parallel composition, and that image nite language constructions like random assignment can be modelled in an elementary
doi:10.1007/3-540-58027-1_5
fatcat:6h3hb47cv5gcvahlrq2v5cynk4