Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems
Keyword(s):
2007 ◽
Vol 205
(12)
◽
pp. 1685-1720
◽
2002 ◽
pp. 209-227
◽
1999 ◽
Vol 18
(7)
◽
pp. 869-888
◽
1986 ◽
pp. 262-276
◽
Keyword(s):
Keyword(s):
2013 ◽
Vol 512
◽
pp. 130-142
◽