國立虎尾科技大學 |

Coalgebraic methods in computer science = 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024 : proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Coalgebraic methods in computer science/ edited by Barbara König, Henning Urbat.
其他題名:	17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024 : proceedings /
其他題名:	CMCS 2024
其他作者:	König, Barbara.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Cham :Springer Nature Switzerland : : 2024.,
面頁冊數:	ix, 217 p. :ill. (some col.), digital ; : 24 cm.;
Contained By:	Springer Nature eBook
標題:	Computer science - Congresses. - Mathematics -
電子資源:	https://doi.org/10.1007/978-3-031-66438-0
ISBN:	9783031664380

Coalgebraic methods in computer science = 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024 : proceedings /
Coalgebraic methods in computer science17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024 : proceedings /[electronic resource] :CMCS 2024edited by Barbara König, Henning Urbat. - Cham :Springer Nature Switzerland :2024. - ix, 217 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,146171611-3349 ;. - Lecture notes in computer science ;6140..

Coalgebraic CTL: Fixpoint Characterization and Polynomial-time Model Checking -- A Categorical Approach to Coalgebraic Fixpoint Logic -- Preorder-Constrained Simulations for Program Refinement with Effects -- Automata and Coalgebras in Categories of Species -- Automata in W-Toposes, and General Myhill-Nerode Theorems -- Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras -- Explicit Hopcroft's Trick in Categorical Partition Refinement -- Proving Behavioural Apartness -- A Compositional Approach to Petri Nets -- Correspondence between Composite Theories and Distributive Laws.

This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024. The 10 papers included in these proceedings were carefully reviewed and selected from 15 submissions. The papers cover a wide range of topics on theory, logics, and applications of coalgebras.

ISBN: 9783031664380

Standard No.: 10.1007/978-3-031-66438-0doiSubjects--Topical Terms:

528619
Computer science
--Mathematics--Congresses.

LC Class. No.: QA76.9.M35

Dewey Class. No.: 004.0151

Coalgebraic methods in computer science = 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024 : proceedings /
LDR:02302nam a2200385 a 4500 001 1133774
003 DE-He213
005 20240725130835.0
006 m d
007 cr nn 008maaau
008 241213s2024 sz s 0 eng d
020 $a 9783031664380 $q (electronic bk.)
020 $a 9783031664373 $q (paper)
024 7 $a 10.1007/978-3-031-66438-0 $2 doi
035 $a 978-3-031-66438-0
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.M35
072 7 $a PBCD $2 bicssc
072 7 $a PBC $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a PBCD $2 thema
072 7 $a PBC $2 thema
082 0 4 $a 004.0151 $2 23
090 $a QA76.9.M35 $b W926 2024
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Coalgebraic methods in computer science $h [electronic resource] : $b 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024 : proceedings / $c edited by Barbara König, Henning Urbat.
246 3 $a CMCS 2024
246 3 $a ETAPS 2024
260 $a Cham : $c 2024. $b Springer Nature Switzerland : $b Imprint: Springer,
300 $a ix, 217 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 1611-3349 ; $v 14617
505 0 $a Coalgebraic CTL: Fixpoint Characterization and Polynomial-time Model Checking -- A Categorical Approach to Coalgebraic Fixpoint Logic -- Preorder-Constrained Simulations for Program Refinement with Effects -- Automata and Coalgebras in Categories of Species -- Automata in W-Toposes, and General Myhill-Nerode Theorems -- Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras -- Explicit Hopcroft's Trick in Categorical Partition Refinement -- Proving Behavioural Apartness -- A Compositional Approach to Petri Nets -- Correspondence between Composite Theories and Distributive Laws.
520 $a This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024. The 10 papers included in these proceedings were carefully reviewed and selected from 15 submissions. The papers cover a wide range of topics on theory, logics, and applications of coalgebras.
650 0 $a Computer science $x Mathematics $v Congresses. $3 528619
650 0 $a Computer software $x Mathematics $v Congresses. $3 883603
650 1 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Formal Languages and Automata Theory. $3 1365747
650 2 4 $a Logic in AI. $3 1228083
650 2 4 $a Mathematics of Computing. $3 669457
700 1 $a König, Barbara. $3 1454999
700 1 $a Urbat, Henning. $3 1455000
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u https://doi.org/10.1007/978-3-031-66438-0
950 $a Computer Science (SpringerNature-11645)