Related Sites
Print
Details
Written by
Christoph Wagner
Category:
Research
Published: 14 June 2013
Related Sites
The
Formal Methods Wiki
of
Jonathan Bowen
contains a section on
Concurrent Systems
.