Mechanizing a π-calculus equivalence in HOL-Reference-Cited by-同舟云学术

Mechanizing a π-calculus equivalence in HOL

Published:1995 Issue: Volume: Page:1-16
ISSN:0302-9743
Container-title:Higher Order Logic Theorem Proving and Its Applications
language:
Short-container-title:

Author:

Aït Mohamed Otmane

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60275-5_53.pdf

Reference15 articles.

1. O AÏt-Mohamed. Vérification de l'équivalence du π-calcul dans HOL. Research Report 2412, Institut National de Recherche en Informatique et Automatique, Novembre 1994.

2. R Amadio. On the reduction of chocs bisimulation to π-calculus bisimulation. In SLNCS 715, editor, CONCUR93, pages 112–126, 1993. Also appeared as Research Report Inria-Lorraine 1786, October 1992.

3. R Amadio and O AÏt-Mohamed. An analysis of π-calculus bisimulation. Technical Report 94-2, ECRC, 1994.

4. J A Bergstra and J W Klop. Process algebra for synchronous communication. Information and Control, 60:109–137, 1984.

5. J A Bergstra and J W Klop. Algebra of communicating processes with abstraction. Theoretical Computer Science, 33:77–121, 1985.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. HO$$\pi $$ in Coq;Journal of Automated Reasoning;2020-09-14

2. Unique Solutions of Contractions, CCS, and their HOL Formalisation;Electronic Proceedings in Theoretical Computer Science;2018-08-24

3. Formalising the pi-calculus using nominal logic;Logical Methods in Computer Science;2009-06-30

4. Formalising a Value-Passing Calculus in HOL;Formal Aspects of Computing;1999-09