M. Peressotti

Latest

• Computing (optimal) embeddings of directed bigraphs
• Computing Embeddings of Directed Bigraphs
• Software transactional memory with interactions
• Towards a formal model for composable container systems