Sciweavers

ICALP
1993
Springer
13 years 8 months ago
Local Model Checking for Context-Free Processes
Hardi Hungar, Bernhard Steffen
ICALP
1993
Springer
13 years 8 months ago
The Fork Calculus
Klaus Havelund, Kim Guldstrand Larsen
ICALP
1993
Springer
13 years 8 months ago
Exact Asymptotics of Divide-and-Conquer Recurrences
The divide-and-conquer principle is a majoi paradigm of algorithms design. Corresponding cost functions satisfy recurrences that directly reflect the decomposition mechanism used i...
Philippe Flajolet, Mordecai J. Golin
ICALP
1993
Springer
13 years 8 months ago
Sparse Networks Supporting Efficient Reliable Broadcasting
Broadcasting concerns transmitting information from a node of a communication network to all other nodes. We consider this problem assuming that links and nodes of the network fail...
Bogdan S. Chlebus, Krzysztof Diks, Andrzej Pelc