KOPS - The Institutional Repository of the University of Konstanz

A Decision Procedure for Bisimilarity of Generalized Regular Expressions

A Decision Procedure for Bisimilarity of Generalized Regular Expressions

Cite This

Files in this item

Checksum: MD5:d899658194814ad68e178168b9846f8c

BONSANGUE, Marcello, Georgiana CALTAIS, Eugen-Ioan GORIAC, Dorel LUCANU, Jan RUTTEN, Alexandra SILVA, 2011. A Decision Procedure for Bisimilarity of Generalized Regular Expressions. 13th Brazilian Symposium on Formal Methods, SBMF 2010. Natal, Brazil, Nov 8, 2010 - Nov 11, 2010. In: DAVIES, Jim, ed., Leila SILVA, ed., Adenilso SIMAO, ed.. Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, revised Selected Papers. Berlin:Springer, pp. 226-241. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-642-19828-1. Available under: doi: 10.1007/978-3-642-19829-8_15

@inproceedings{Bonsangue2011Decis-44688, title={A Decision Procedure for Bisimilarity of Generalized Regular Expressions}, year={2011}, doi={10.1007/978-3-642-19829-8_15}, number={6527}, isbn={978-3-642-19828-1}, issn={0302-9743}, address={Berlin}, publisher={Springer}, series={Lecture Notes in Computer Science}, booktitle={Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, revised Selected Papers}, pages={226--241}, editor={Davies, Jim and Silva, Leila and Simao, Adenilso}, author={Bonsangue, Marcello and Caltais, Georgiana and Goriac, Eugen-Ioan and Lucanu, Dorel and Rutten, Jan and Silva, Alexandra} }

<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/44688"> <dc:creator>Silva, Alexandra</dc:creator> <dc:creator>Rutten, Jan</dc:creator> <dc:contributor>Caltais, Georgiana</dc:contributor> <dc:creator>Bonsangue, Marcello</dc:creator> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/44688/1/Bonsangue_2-yi8hayl9n9430.pdf"/> <dc:creator>Goriac, Eugen-Ioan</dc:creator> <dc:contributor>Bonsangue, Marcello</dc:contributor> <dcterms:issued>2011</dcterms:issued> <dc:creator>Caltais, Georgiana</dc:creator> <dc:contributor>Goriac, Eugen-Ioan</dc:contributor> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/44688"/> <dc:creator>Lucanu, Dorel</dc:creator> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/44688/1/Bonsangue_2-yi8hayl9n9430.pdf"/> <dc:contributor>Silva, Alexandra</dc:contributor> <dc:rights>terms-of-use</dc:rights> <dcterms:abstract xml:lang="eng">A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene’s theorem and Kleene algebra, were recently proposed by a subset of the authors of this paper. Examples of the systems covered include infinite streams, deterministic automata and Mealy machines. In this paper, we present a novel algorithm and a tool to decide whether two expressions are bisimilar or not. The procedure is implemented in the automatic theorem prover CIRC, by reducing coinduction to an entailment relation between an algebraic specification and an appropriate set of equations.</dcterms:abstract> <dc:language>eng</dc:language> <dc:contributor>Rutten, Jan</dc:contributor> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-01-23T12:47:40Z</dc:date> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-01-23T12:47:40Z</dcterms:available> <dc:contributor>Lucanu, Dorel</dc:contributor> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dcterms:title>A Decision Procedure for Bisimilarity of Generalized Regular Expressions</dcterms:title> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> </rdf:Description> </rdf:RDF>

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

Bonsangue_2-yi8hayl9n9430.pdf 110

This item appears in the following Collection(s)

Search KOPS


Browse

My Account