A proof system for a version of CCS with value-passing is proposed in which the reasoning about data is factored out from that about the structure of processes. The system is shown to be sound and complete for finite terms with respect to a denotational semantics based on Acceptance Trees.
No takes yet. Share an insight, caveat, or question.
Matthew Hennessy (1991) studied this question.
Synapse has enriched 3 closely related papers on similar clinical questions. Consider them for comparative context: