Example (4): Concurrency

Well too many examples on one day may not be good so I just list the two-liner contributed by Gary.

Bidder1 -> Auctioner: integer;
Bidder2 -> Auctioneer: integer;

Here there are two Bidders and one Auctioneer: the Bidders send their respective bidding prices to Auctioner.

By our Rule of Thumb (see Example (2)) we can read the above signature thus:

Bidder1 and Bidder2 will send their prices asynchronously, while Auctioneer expects the price from Bidder1 first and the price from Bidder2 next.

Let's discuss in our post tomorrow what richness the simple signature above hides behgind it, as our previous two-liners did.