Coverart for item
The Resource Coalgebraic methods in computer science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised selected papers, Marcello M. Bonsangue (eds.)

Coalgebraic methods in computer science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised selected papers, Marcello M. Bonsangue (eds.)

Label
Coalgebraic methods in computer science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised selected papers
Title
Coalgebraic methods in computer science
Title remainder
12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised selected papers
Statement of responsibility
Marcello M. Bonsangue (eds.)
Title variation
CMCS 2014
Creator
Contributor
Editor
Subject
Genre
Language
eng
Summary
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, colocated with ETAPS 2014, held in Grenoble, France, in April 2014. The 10 revised full papers were carefully reviewed and selected from 20 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras
Member of
Cataloging source
GW5XE
Dewey number
004.01/51
Illustrations
illustrations
Index
index present
LC call number
QA76.9.M35
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2014
http://bibfra.me/vocab/lite/meetingName
Workshop on Coalgebraic Methods in Computer Science
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
Bonsangue, Marcello M.
Series statement
  • Lecture Notes in Computer Science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
8446
http://library.link/vocab/subjectName
  • Computer science
  • Computer software
  • Computer science
Label
Coalgebraic methods in computer science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised selected papers, Marcello M. Bonsangue (eds.)
Instantiates
Publication
Note
Includes author index
Antecedent source
unknown
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract) -- Generic Weakest Precondition Semantics from Monads Enriched with Order -- Coalgebraic Multigames -- How to Kill Epsilons with a Dagger -- On Coalgebras with Internal Moves -- A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics -- Coalgebraic Simulations and Congruences -- Dijkstra Monads in Monadic Computation -- Categories of Coalgebras with Monadic Homomorphisms -- Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions -- Canonical Nondeterministic Automata -- Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra -- Algebraic-Coalgebraic Recursion Theory of History-Dependent Dynamical System Models
Control code
889871762
Dimensions
unknown
Extent
1 online resource (x, 245 pages)
File format
unknown
Form of item
online
Isbn
9783662441244
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-662-44124-4
Other physical details
illustrations
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)889871762
Label
Coalgebraic methods in computer science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised selected papers, Marcello M. Bonsangue (eds.)
Publication
Note
Includes author index
Antecedent source
unknown
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract) -- Generic Weakest Precondition Semantics from Monads Enriched with Order -- Coalgebraic Multigames -- How to Kill Epsilons with a Dagger -- On Coalgebras with Internal Moves -- A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics -- Coalgebraic Simulations and Congruences -- Dijkstra Monads in Monadic Computation -- Categories of Coalgebras with Monadic Homomorphisms -- Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions -- Canonical Nondeterministic Automata -- Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra -- Algebraic-Coalgebraic Recursion Theory of History-Dependent Dynamical System Models
Control code
889871762
Dimensions
unknown
Extent
1 online resource (x, 245 pages)
File format
unknown
Form of item
online
Isbn
9783662441244
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-662-44124-4
Other physical details
illustrations
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)889871762

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...