5 citations · 10 across the 6 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2012★ 4 cited
Membrane Systems and Petri Net Synthesis
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…
cs.LO2010
Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010
Gabriel Ciobanu, Maciej Koutny
The 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2010) is organized in Jena as a satellite event of the Eleventh International Conference on…