creators_name: Edmunds, Andrew
creators_name: Butler, Michael
type: conference_item
datestamp: 2011-02-24 08:45:40
lastmod: 2011-02-24 08:45:40
metadata_visibility: show
title: Tasking Event-B: An Extension to Event-B for Generating Concurrent Code
ispublished: inpress
subjects: Code_generation
full_text_status: none
pres_type: paper
keywords: Event-B, Code Generation, Tooling, Concurrency
date: 2011-02
event_title: PLACES 2011
event_type: workshop
refereed: TRUE
official_url: http://eprints.ecs.soton.ac.uk/22006/
citation:   Edmunds, Andrew and Butler, Michael  (2011) Tasking Event-B: An Extension to Event-B for Generating Concurrent Code.  In: PLACES 2011.    (In Press)  

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>