Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Pattinson, Dirk (Editor), Schröder, Lutz (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Series: Lecture Notes in Computer Science, 7399
• Subjects: Computer science.; Computers.; Computer logic.; Mathematical logic.; Mathematical statistics.; Computer Science.; Mathematical Logic and Formal Languages.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Probability and Statistics in Computer Science.
• Physical Description: VII, 259 p. 7 illus. online resource.
• ISBN: 9783642327841
• ISSN: 0302-9743 ;

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.