Distributed systems, partial orderings of events and event structures