中国机械工程学会生产工程分会知识服务平台 | sc.gmachineinfo.com

会议文集

文集名	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 Checking	Ryota Kojima; Corina Cirstea; Koko Muroya; Ichiro Hasuo	2024
A Categorical Approach to Coalgebraic Fixpoint Logic	Ezra Schoen; Clemens Kupke; Jurriaan Rot; Ruben Turkenburg	2024
Preorder-Constrained Simulations for Program Refinement with Effects	Koko Muroya; Takahiro Sanada; Natsuki Urabe	2024
Automata and Coalgebras in Categories of Species	Fosco Loregian	2024
Automata in W-Toposes, and General Myhill-Nerode Theorems	Victor Iwaniack	2024
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras	Jonas Forster; Lutz Schroder; Paul Wild; Harsh Beohar; Sebastian Gurke; Karla Messing	2024
Explicit Hopcroft's Trick in Categorical Partition Refinement	Takahiro Sanada; Ryota Kojima; Yuichi Komorida; Koko Muroya; Ichiro Hasuo	2024
Proving Behavioural Apartness	Ruben Turkenburg; Jurriaan Rot; Harsh Beohar; Clemens Kupke	2024
A Compositional Framework for Petri Nets	Serge Lechenne; Glovis Eberhart; Ichiro Hasuo	2024
Correspondence Between Composite Theories and Distributive Laws	Alois Rosset; Maaike Zwart; Helle Hvid Hansen; Jorg Endrullis	2024