Co-Inductive Types in Coq: An Experiment with the Alternating Bit Protocol (1995)

View PDF

Download Links

by Eduardo Gimenez
Citations:12 - 1 self

Active Bibliography

18 Un Calcul De Constructions Infinies Et Son Application A La Verification De Systemes Communicants – Carlos Eduardo Giménez, Suprieure De Lyon, Spcialit Informatique, Par Carlos Eduardo Gimnez, De Systemes Communicants, Roberto Amadio, Roberto Amadio, Luc Boug, Thierry Coquand, Thierry Coquand, Michel Cosnard (president, Gilles Kahn - 1996
2 The Coq Proof Assistant - Reference Manual Version 6.1 – Jean-Christophe Filliâtre, Hugo Herbelin, Bruno Barras, Bruno Barras, Samuel Boutin, Eduardo Giménez, Samuel Boutin, Gérard Huet, César Muñoz, Cristina Cornes, Cristina Cornes, Judicaël Courant, Judicael Courant, Chetan Murthy, Chetan Murthy, Catherine Parent, Catherine Parent, Christine Paulin-mohring, Christine Paulin-mohring, Amokrane Saibi, Amokrane Saibi, Benjamin Werner, Benjamin Werner - 1997
503 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
879 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
22 Filters on coinductive streams, an application to eratosthenes’ sieve – Yves Bertot - 2005
238 The problem with threads – Edward A. Lee - 2006
224 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
222 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
193 Scientific workflow management and the Kepler system. Special issue: workflow in grid systems – Bertram Ludäscher, Ilkay Altintas, Chad Berkley, Dan Higgins, Efrat Jaeger, Matthew Jones, Edward A. Lee, Jing Tao, Yang Zhao - 2006