会议文集


文集名Coalgebraic Methods in Computer Science
会议名17th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2024), Colocated with ETAPS 2024
中译名《第十七届IFIP WG 1.3国际计算机科学中的代数方法讨论会》
机构International Federation for Information Processing (IFIP)
会议日期April 6-7, 2024
会议地点Luxembourg City, Luxembourg
出版年2024
馆藏号353254


题名作者出版年
Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model CheckingRyota Kojima; Corina Cirstea; Koko Muroya; Ichiro Hasuo2024
A Categorical Approach to Coalgebraic Fixpoint LogicEzra Schoen; Clemens Kupke; Jurriaan Rot; Ruben Turkenburg2024
Preorder-Constrained Simulations for Program Refinement with EffectsKoko Muroya; Takahiro Sanada; Natsuki Urabe2024
Automata and Coalgebras in Categories of SpeciesFosco Loregian2024
Automata in W-Toposes, and General Myhill-Nerode TheoremsVictor Iwaniack2024
Graded Semantics and Graded Logics for Eilenberg-Moore CoalgebrasJonas Forster; Lutz Schroder; Paul Wild; Harsh Beohar; Sebastian Gurke; Karla Messing2024
Explicit Hopcroft's Trick in Categorical Partition RefinementTakahiro Sanada; Ryota Kojima; Yuichi Komorida; Koko Muroya; Ichiro Hasuo2024
Proving Behavioural ApartnessRuben Turkenburg; Jurriaan Rot; Harsh Beohar; Clemens Kupke2024
A Compositional Framework for Petri NetsSerge Lechenne; Glovis Eberhart; Ichiro Hasuo2024
Correspondence Between Composite Theories and Distributive LawsAlois Rosset; Maaike Zwart; Helle Hvid Hansen; Jorg Endrullis2024



制造业外文文献服务平台