Detection of Livelocks in Communication Protocols by Means of a Polygon Time Structure.

Jerzy Brzezinski, Michal Sajkowski

Browse the full SRDS paper archive.