file.pdf (346.16 kB)

Relating Reasoning Methodologies in Linear Logic and Process Algebra (CMU-CS-11-145, CMU-CS-QTR-111)

Download (346.16 kB)
journal contribution
posted on 01.01.1978 by Yuxin Deng, Robert J. Simmons, Iliano Cervesato

We show that the proof-theoretic notion of logical preorder coincides with the process-theoretic notion of contextual preorder for a CCS-like process calculus obtained from the formula-as-process interpretation of a fragment of linear logic. The argument makes use of other standard notions in process algebra, namely simulation and labeled transition systems. This result establishes a connection between an approach to reason about process specifications, the contextual preorder, and a method to reason about logic specifications, the logical preorder.


Publisher Statement

All Rights Reserved