ABCD at DSSE, Southampton

From: Richard Beton (richard.beton_at_email.domain.hidden)
Date: 2000-10-17 13:38:06

• Next message: A E Lawrence: "Re: Priority revisited: a new primitive"
• Previous message: A E Lawrence: "Re: Blackhole mailing list issues"

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)

    [ Part 2, "Card for Richard Beton" Text/X-VCARD (Name: ]
    [ "richard.beton.vcf") 16 lines. ]
    [ Unable to print this part. ]

• Next message: A E Lawrence: "Re: Priority revisited: a new primitive"
• Previous message: A E Lawrence: "Re: Blackhole mailing list issues"

Original text of this message