Reasoning about Higher-Order Processes

@inproceedings{Amadio1995ReasoningAH,
  title={Reasoning about Higher-Order Processes},
  author={Roberto M. Amadio and Mads Dam},
  booktitle={TAPSOFT},
  year={1995}
}
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

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…