Tölvunarfræðideild

Viðburðir

ICE-TCS Lectures Series - Georgiana Caltais Goriac - Algebra meets coalgebra. A decision procedure for bisimilarity of generalized regular expressions.

The next ICE-TCS  talk will be delivered on Friday, 27 August,  by Georgiana Caltais Goriac (Reykjavik University). The talk, which is entitled Algebra meets coalgebra. A decision procedure for bisimilarity of generalized regular expressions, will be held at 14:00 in room M1.05 at the new premises of Reykjavik University in Nauthólsvík.

Abstract

A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene's theorem, were recently proposed. Examples of the systems covered include infinite streams, deterministic automata and Mealy machines. We exploit an encoding of coalgebra into algebra and provide a decision procedure for the bisimilarity of generalized regular expressions, implemented in the automated theorem prover CIRC.

The talk will be based on a paper that has been accepted for presentation at the 13th Brazilian Symposium on Formal Methods.