Synthesizing Concurrency Control Components from Process Algebraic Specifications
Edoardo Bontà
◽
Marco Bernardo
◽
Jeff Magee
◽
Jeff Kramer
C.K. Chang
◽
Yi-Te Tseng
◽
Ugo Buy
2005 ◽
Vol 26
(3)
◽
pp. 293-317
T. Karvi
◽
M. Tienari
◽
R. Kaivola
2020 ◽
Vol 20
(3)
◽
pp. 71-78
Yong-Hyeog Kang
◽
◽
Wonhyung Park
2004 ◽
Vol 11D
(4)
◽
pp. 809-822
W. Binder
◽
I. Constantinescu
◽
B. Faltings
◽
S. Spycher
Xuebin Su
◽
Hongzhi Wang
◽
Yan Zhang
Christina Peterson
◽
Amalee Wilson
◽
Peter Pirkelbauer
◽
Damian Dechev
1993 ◽
Vol 20
(3)
◽
pp. 36-48
◽