國立高雄大學圖資館 |

登入

回首頁

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 /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Coalgebraic methods in computer scienceedited 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.
團體作者:
出版者:	Cham :Springer Nature Switzerland :2024.
面頁冊數:	ix, 217 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Computer scienceMathematics
電子資源:	https://doi.org/10.1007/978-3-031-66438-0
ISBN:	9783031664380$q(electronic bk.)

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 /
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 ;4891..

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$q(electronic bk.)

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

253427
Computer science
--Mathematics

LC Class. No.: QA76.9.M35

Dewey Class. No.: 004.0151

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 /
LDR:02303nmm a2200385 a 4500 001 666719
003 DE-He213
005 20240725130835.0
006 m d
007 cr nn 008maaau
008 250107s2024 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2024.
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 $3 253427
650 0 $a Computer software $x Mathematics $v Congresses. $3 573041
650 1 4 $a Mathematical Logic and Foundations. $3 274479
650 2 4 $a Formal Languages and Automata Theory. $3 914922
650 2 4 $a Logic in AI. $3 836108
650 2 4 $a Mathematics of Computing. $3 273710
700 1 $a König, Barbara. $3 979430
700 1 $a Urbat, Henning. $3 979431
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u https://doi.org/10.1007/978-3-031-66438-0
950 $a Computer Science (SpringerNature-11645)