22 citations · 29 across the 4 of their papers we have counts for
1 paper · 1 filter
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny +1
Automated synthesis from behavioural specifications is an attractive and powerful way of constructing concurrent systems. Here we focus on the problem of synthesising a membrane sy…