A Higher-Order Specification of the π-Calculus-Reference-Cited by-同舟云学术

A Higher-Order Specification of the π-Calculus

Published:2000 Issue: Volume: Page:425-439
ISSN:0302-9743
Container-title:Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics
language:
Short-container-title:

Author:

Despeyroux Joëlle

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44929-9_30

Reference22 articles.

1. B. Barras, S. Boutin, C. Cornes, J. Courant, J.C. Filliâtre, E. Giménez, H. Herbelin, G. Huet, C. Muñoz, C. Murthy, C. Parent, C. Paulin, A. Saïbi, and B. Werner. The Coq Proof Assistant Reference Manual — Version V6.1. Technical Report 0203, INRIA, August 1997.

2. Gérard Boudol. The pi-calculus in direct style. In proceedings of the POPL ACM Conference on Principles of Programming Languages, pages 228–241, 1997.

3. Thierry Coquand and Gérard Huet. The calculus of constructions. Information and Computation, 76:95–120, 1988.

4. Lect Notes Comput Sci;J. Despeyroux,1998

5. Lect Notes Comput Sci;J. Despeyroux,1997

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

1. A Beluga Formalization of the Harmony Lemma in the π-Calculus;Electronic Proceedings in Theoretical Computer Science;2024-07-08

2. The Concurrent Calculi Formalisation Benchmark;Lecture Notes in Computer Science;2024

3. Implementation of a Reversible Distributed Calculus;Reversible Computation;2023

4. $$\pi $$ with Leftovers: A Mechanisation in Agda;Formal Techniques for Distributed Objects, Components, and Systems;2021

5. An extensible approach to session polymorphism;Mathematical Structures in Computer Science;2015-02-23