Coalgebraic Epistemic Update without Change of Model

Cirstea, C. and Sadrzadeh, M. (2007) Coalgebraic Epistemic Update without Change of Model. In: 2nd Conference on Algebra and Coalgebra in Computer Science, August 20-24, Bergen, Norway. pp. 158-172.

Download

Preview

PDF 491Kb

Item Type:	Conference or Workshop Item
Creator/Authors:	Corina Cirstea Mehrnoosh Sadrzadeh
Editors:	T. Mossakowski
Research Group:	Old ECS Groups > Dependable Systems and Software Engineering Research Group Current ECS Groups > Electronic and Software Systems
Date:	2007
Information about this record:
Performance Indicator:	EZ~02~02~04
Citations:	Google Scholar: 2
Downloads (2010):	16
ID Code:	13863
Last Modified:	23 Sep 2011 10:34
Deposited On:	10 Apr 2007 by Sadrzadeh, Mehrnoosh

Tools & Metadata

Download Statistics

Members of ECS may view the download statistics dashboard for this record.

Corrections

ECS staff and postgraduates may modify this record