Abstract. We give an axiomatic category theoretic account of bisimu- lation in process algebras based on the idea of functional bisimulations as open maps.
We give an axiomatic category theoretic account of bisimulation in process algebras based on the idea of functional bisimulations as open maps.
Abstract: We give an axiomatic category theoretic account of bisimulation in process algebras based on the idea of functional bisimulations as open maps.
May 28, 2006 · We give an axiomatic category theoretic account of bisimulation in process algebras based on the idea of functional bisimulations as open ...
Contents. CONCUR '98: Proceedings of the 9th International Conference on Concurrency Theory. A Categorical Axiomatics for Bisimulation. Pages 581 - 596 ...
An axiomatic category theoretic account of bisimu-lation in process algebras based on the idea of functional bisimulations as open maps is given and ideas ...
A Categorical Axiomatics for BisimulationGian Luca Cattani1, John Power2; , Glynn Winskel11BRICSy, University of Aarhus, Denmark2LFCS, University of ...
No. 22 (1998): RS-22 A Categorical Axiomatics for Bisimulation. Published: 1998-01-22. Articles ...
A Categorical Axiomatics for Bisimulation. With Gian Luca Cattani and John Power. CONCUR '98. In BRICS reports series RS-98-22. A Representation Result for ...
A language for denoting observation trees is proposed and congruences over its terms are defined as strong, rooted branching and rooted weak bisimulations.
Missing: Categorical | Show results with:Categorical