Temporal Specifications for Services with Unboundedly Many Passive Clients.

Shamimuddin Sheerazuddin

Browse the full ICDCN paper archive.