國立高雄大學圖資館 |

Language: English

Back

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 /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Coalgebraic methods in computer scienceedited by Barbara König, Henning Urbat.
Reminder of title:	17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024 : proceedings /
remainder title:	CMCS 2024
other author:	König, Barbara.
corporate name:
Published:	Cham :Springer Nature Switzerland :2024.
Description:	ix, 217 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Computer scienceMathematics
Online resource:	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)