coinduction-examples/CodeMeta.json at master · damien-pous/coinduction-examples · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
{
    "@context": "https://doi.org/10.5063/schema/codemeta-2.0",
    "type": "SoftwareSourceCode",
    "applicationCategory": "Rocq library",
    "author": [
        {
            "id": "https://perso.ens-lyon.fr/damien.pous/",
            "type": "Person",
            "affiliation": {
                "type": "Organization",
                "name": "Plume team, LIP, CNRS"
            },
            "email": "Damien.Pous@ens-lyon.fr",
            "familyName": "Pous",
            "givenName": "Damien"
        }
    ],
    "codeRepository": "https://github.com/damien-pous/coinduction-examples",
    "dateCreated": "2021-10-08",
    "datePublished": "2021-10-08",
    "description": "Examples on how to use the rocq-coinduction library, for doing proofs by (enhanced) coinduction: divergence, Milner's CCS, and Rutten's stream calculus."
    "keywords": [
	"coinduction",
	"up to techniques",
	"companion",
	"bisimilarity",
	"divergence",
	"streams",
	"CCS",
        "Rocq"
    ],
    "license": "GNU LGPL",
    "name": "coinduction-examples",
    "programmingLanguage": "Rocq",
    "referencePublication": "http://dx.doi.org/10.1145/2933575.2934564"
}