Specifying Message Bu ers Requires Extending Temporal Logic (0)

by R Koymans