![]() |
![]() |
| "A.I.Cuza" University Iasi | Formal Methods Laboratory |
The main aim of the workshop is to bring together researchers working in membrane computing, in biologically inspired process calculi (ambients, brane calculi, etc.) and in other related fields to present recent results and to discuss new ideas concerning such formalisms, their properties and relationships.
© copyright 2011. All rights reserved