Peressotti M

Latest

• Computing Embeddings of Directed Bigraphs
• Towards a formal model for composable container systems