שליחה במסרון: Mathematical frameworks for component software