4 citations · 4 across the 1 of their papers we have counts for
1 paper
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…