Context-dependent bisimulation between processes

Context-dependent bisimulation between processes

Bibliographic Details
Main Author: Larsen, Kim Guldstrand
Published: University of Edinburgh 1986
Subjects:
519.5
Bisimulation equivalence
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.370202
Description
Description not available.

Similar Items