Concurrent and Distributed Systems -- Object Connectivity and Full Abstraction for a