Resource Type:
Code
License:
GNU General Public License
Language:
Data Format:
Description
The heart of SAL is a language, developed in collaboration with Stanford and Berkeley, for specifying concurrent systems in a compositional way.
Post comment
Cancel