KOPS - The Institutional Repository of the University of Konstanz

PREG Axiomatizer : A Ground Bisimilarity Checker for GSOS with Predicates

PREG Axiomatizer : A Ground Bisimilarity Checker for GSOS with Predicates

Cite This

Files in this item

Checksum: MD5:1aa32f1879bad1dcbcfe84fa9025c235

ACETO, Luca, Georgiana CALTAIS, Eugen-Ioan GORIAC, Anna INGOLFSDOTTIR, 2011. PREG Axiomatizer : A Ground Bisimilarity Checker for GSOS with Predicates. 4th International Conference, CALCO 2011. Winchester, UK, Aug 30, 2011 - Sep 2, 2011. In: CORRADINI, Andrea, ed., Bartek KLIN, ed., Corina CÎRSTEA, ed.. Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30-September 2, 2011, proceedings. Berlin:Springer, pp. 378-385. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-642-22943-5. Available under: doi: 10.1007/978-3-642-22944-2_27

@inproceedings{Aceto2011Axiom-44687, title={PREG Axiomatizer : A Ground Bisimilarity Checker for GSOS with Predicates}, year={2011}, doi={10.1007/978-3-642-22944-2_27}, number={6859}, isbn={978-3-642-22943-5}, issn={0302-9743}, address={Berlin}, publisher={Springer}, series={Lecture Notes in Computer Science}, booktitle={Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30-September 2, 2011, proceedings}, pages={378--385}, editor={Corradini, Andrea and Klin, Bartek and Cîrstea, Corina}, author={Aceto, Luca and Caltais, Georgiana and Goriac, Eugen-Ioan and Ingolfsdottir, Anna} }

<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/44687"> <dc:creator>Caltais, Georgiana</dc:creator> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dcterms:abstract xml:lang="eng">PREG Axiomatizer is a tool used for proving strong bisimilarity between ground terms consisting of operations in the GSOS format extended with predicates. It automatically derives sound and ground-complete axiomatizations using a technique proposed by the authors of this paper. These axiomatizations are provided as input to the Maude system, which, in turn, is used as a reduction engine for provided ground terms. These terms are bisimilar if and only if their normal forms obtained in this fashion are equal. The motivation of this tool is the optimized handling of equivalence checking between complex ground terms within automated provers and checkers.</dcterms:abstract> <dcterms:title>PREG Axiomatizer : A Ground Bisimilarity Checker for GSOS with Predicates</dcterms:title> <dc:creator>Ingolfsdottir, Anna</dc:creator> <dcterms:issued>2011</dcterms:issued> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:creator>Goriac, Eugen-Ioan</dc:creator> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/44687/1/Aceto_2-1ujbbwdk8rj2i6.pdf"/> <dc:language>eng</dc:language> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:rights>terms-of-use</dc:rights> <dc:contributor>Ingolfsdottir, Anna</dc:contributor> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/44687/1/Aceto_2-1ujbbwdk8rj2i6.pdf"/> <dc:contributor>Goriac, Eugen-Ioan</dc:contributor> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-01-23T12:44:14Z</dc:date> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-01-23T12:44:14Z</dcterms:available> <dc:creator>Aceto, Luca</dc:creator> <dc:contributor>Aceto, Luca</dc:contributor> <dc:contributor>Caltais, Georgiana</dc:contributor> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/44687"/> </rdf:Description> </rdf:RDF>

Downloads since Jan 23, 2019 (Information about access statistics)

Aceto_2-1ujbbwdk8rj2i6.pdf 132

This item appears in the following Collection(s)

Search KOPS


Browse

My Account