By Giorgio Bacci, Vincent Danos, Ohad Kammar (auth.), Andrea Corradini, Bartek Klin, Corina Cîrstea (eds.)
This publication constitutes the refereed court cases of the 4th overseas convention on Algebra and Coalgebra in desktop technological know-how, CALCO 2011, held in Winchester, united kingdom, in August/September 2011. The 21 complete papers awarded including four invited talks have been conscientiously reviewed and chosen from forty-one submissions. The papers file result of theoretical paintings at the arithmetic of algebras and coalgebras, the way in which those effects can help tools and methods for software program improvement, in addition to event with the move of the ensuing applied sciences into business perform. They hide themes within the fields of summary versions and logics, really expert types and calculi, algebraic and coalgebraic semantics, and process specification and verification. The publication additionally comprises 6 papers from the CALCO-tools Workshop, colocated with CALCO 2011 and devoted to instruments in accordance with algebraic and/or coalgebraic principles.