Mathematical Models of Object-Based Distributed Systems -- From Explicit to Symbolic