![](/img/cover-not-exists.png)
Transformations of sequential specifications into concurrent specifications by synchronization guards
Ryszard Janicki, Tomasz MüldnerVolume:
77
Year:
1990
Language:
english
Pages:
33
DOI:
10.1016/0304-3975(90)90117-z
File:
PDF, 3.57 MB
english, 1990