IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "Least and Alternating Fixed-Point Specifications in Coalgebraic System Modeing"

by Ichiro Hasuo

Mon, 04 September 2017 at 11:30 am in Berlin, Germany

Joint work with: Natsuki Urabe, Shunsuke Shimizu, Corina Cirstea and Masaki Hara

Abstract: Final coalgebras as "categorical greatest fixed points" play a central role in the theory of coalgebras. Somewhat analogously, most proof methods studied therein have focused on greatest fixed-point properties like safety and bisimilarity. In this talk we outline our recent attempts to go beyond, that is, to accommodate other fixed points (such as least and alternating ones) in coalgebraic modeling. The talk will be based on the following papers: [Hasuo, Cirstea & Shimizu, POPL'16], [Urabe, Shimizu & Hasuo, CONCUR'16], [Urabe, Hara & Hasuo, LICS'17].

Slides