Authors’ accepted version for publication in Formal Aspects of Computing The final publication is available at springerlink.com The Behavioural Semantics of Event-B Refinement Steve Schneider1 , Helen Treharne1 , Heike - Communicating sequential processes - Document - PDFSEARCH.IO

First Page	Meta Content
	Authors’ accepted version for publication in Formal Aspects of Computing The final publication is available at springerlink.com The Behavioural Semantics of Event-B Refinement Steve Schneider1 , Helen Treharne1 , Heike Add to Reading List Document Date: 2014-04-07 11:14:04 Open Document File Size: 535,77 KB Share Result on Facebook Company Event-B / / Currency pence / / / Facility University of Surrey / University of Paderborn Abstract / / IndustryTerm action systems / / Organization Department of Computer Science / Department of Computing / University of Paderborn Abstract / University of Surrey / / Position system designer / Failures/Divergences/Infinite Traces semantic model for CSP / event guard / Butler / guard / / Technology API / simulation / / SocialTag Process calculi Denotational semantics Concurrent computing Communicating sequential processes Formal methods Philosophical logic Predicate transformer semantics Divergence Trace Mathematics

Authors’ accepted version for publication in Formal Aspects of Computing The final publication is available at springerlink.com The Behavioural Semantics of Event-B Refinement Steve Schneider1 , Helen Treharne1 , HeikeAdd to Reading List