5 search results for "tag:"keyword: co-inductive types""

Showing 1 - 5

coq-abp

No documentation

A verification of the alternating bit protocol expressed in CBS

keyword: alternating bit protocol keyword: process calculi keyword: reactive systems keyword: co-inductive types keyword: co-induction category: Computer Science/Concurrent Systems and Protocols/Correctness of specific protocols

Eduardo Giménez

8.10.0

LGPL 2.1

Used by 0 other packages

07 Dec 2019
coq-coalgebras

No documentation

Coalgebras, bisimulation and lambda-coiteration

keyword: coalgebra keyword: bisimulation keyword: weakly final keyword: coiteration keyword: co-inductive types category: Mathematics/Category Theory date: 2008-10

Milad Niqui <M.Niqui@cwi.nl> [http://www.cwi.nl/~milad]

8.10.0

LGPL

Used by 0 other packages

07 Dec 2019
coq-coinductive-examples

No documentation

Some simple examples about co-inductive types and co-induction

keyword: co-inductive types keyword: co-induction category: Miscellaneous/Coq Use Examples

Eduardo Giménez

8.10.0

LGPL 2.1

Used by 0 other packages

07 Dec 2019
coq-coinductive-reals

No documentation

Real numbers as coinductive ternary streams

keyword: real numbers keyword: co-inductive types keyword: co-recursion keyword: exact arithmetic category: Mathematics/Real Numbers date: 2007-04-24

Milad Niqui <milad@cs.ru.nl> [http://www.cs.ru.nl/~milad]

8.10.0

LGPL

Used by 0 other packages

07 Dec 2019
coq-mutual-exclusion

No documentation

A certification of Peterson's algorithm for managing mutual exclusion

keyword: mutual exclusion keyword: concurrency keyword: Peterson's algorithm keyword: co-inductive types keyword: co-induction category: Computer Science/Concurrent Systems and Protocols/Correctness of specific protocols category: Miscellaneous/Extracted Programs/Automata and protocols

Eduardo Giménez

8.9.0

LGPL 2.1

Used by 0 other packages

08 Dec 2019