This page is under construction.
...
One major focus of the group is on process calculi with
broadcasting type of communication,
as opposed to handshake type.
Much work has been done on CBS,
presented by K.V.S. Prasad,
...
...
History:
A brief description of the
research during the years 1982 - 1992 is given in the report
Research in Computing Science in Göteborg,
written
for NUTEK's conference on Computer Science in Sweden, december 1992
- Members
- Lists the members of the group with links to each member's personal page.
- Publications
- Papers, technical reports, software, etc, some of which is available
through the WWW and/or ftp.
- Where we are
- The location, address and phone/fax number of the Computing Science department.
|