Reasoning about Higher-Order Processes

  title={Reasoning about Higher-Order Processes},
  author={Roberto M. Amadio and Mads Dam},
We address the speci cation and veri cation problem for process calculi such as Chocs, CML and Facile where processes or functions are transmissible values. Our work takes place in the context of a static treatment of restriction and of a bisimulation-based semantics. As a paradigmatic and simple case we concentrate on (Plain) Chocs. We show that Chocs bisimulation can be characterized by an extension of Hennessy-Milner logic including a constructive implication, or function space constructor… CONTINUE READING
21 Citations
18 References
Similar Papers


Publications referenced by this paper.

Similar Papers

Loading similar papers…