11 citations · 15 across the 3 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…