[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
ABCD at DSSE, Southampton
describes a new 3-year formal methods project at Southampton Uni.
They have considerable CSP experience, it would seem. The overview
suggests that they consider concurrency hard. Ways for converting various
methods to 'B' (including CSP to B) are assessed.
(DSSE = Declarative Systems and Software Engineering Group)
org:Roke Manor Research Limited;Internet Technology & Networks
adr:;;Roke Manor: http://www.roke.co.uk/;;;SO51 0ZN;UK
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