ABCD at DSSE, Southampton

[Richard Beton <richard.beton@xxxxxxxxxx>]

FYI: http://www.dsse.ecs.soton.ac.uk/ABCD/WS/
describes a new 3-year formal methods project at Southampton Uni.

They have considerable CSP experience, it would seem. The overview
(http://www.dsse.ecs.soton.ac.uk/ABCD/WS/ABCDworkshopDiscussion.shtml)
suggests that they consider concurrency hard. Ways for converting various
methods to 'B' (including CSP to B) are assessed.

Rick

(DSSE = Declarative Systems and Software Engineering Group)

begin:vcard 
n:Beton;Richard
tel;pager:ICQ: 56840977
tel;cell:MSN/Hotmail: richardbeton@xxxxxxxxxxx
tel;fax:01794 833434
tel;work:01794 833458
x-mozilla-html:TRUE
url:http://www.beton.freeserve.co.uk/
org:Roke Manor Research Limited;Internet Technology & Networks
adr:;;Roke Manor: http://www.roke.co.uk/;;;SO51 0ZN;UK
version:2.1
email;internet:richard.beton@xxxxxxxxxx
title:Internet Consultant
note;quoted-printable:The information contained in this e-mail is confidential and must =0D=0Anot be passed to any third party without permission. This =0D=0Acommunication is for information only and shall not create =0D=0Aor change any contractual relationship. =0D=0A
fn:Rick Beton
end:vcard