Skip to main content
Conference Proceedings

A proof system for communicating processes with value-passing (extended abstract)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1989) 405 LNCS 325-339
DOI: 10.1007/3-540-52048-1_54
4Citations
Citations of this article
8Readers
Mendeley users who have this article in their library.
Get full text

Abstract

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 sound and complete with respect to a denotational semantics based on Acceptance Trees.

Cite

CITATION STYLE

APA

Hennessy, M. (1989). A proof system for communicating processes with value-passing (extended abstract). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 405 LNCS, pp. 325–339). Springer Verlag. https://doi.org/10.1007/3-540-52048-1_54

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free