The Path to Web n+1 Article

L. Hardman (Lynda) and S. Pemberton (Steven)

Coalgebraic logic and synthesis of Mealy machines In Proceedings

M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

Recasting Constraint Automata into Buchi Automata In Proceedings

M.M. Bonsangue (Marcello) and M. Izadi (Mohammad)

Modular Development of Hybrid Systems for Verification in Coq In Proceedings

M. Niqui (Milad) and O. Tveretina

Post-proceedings of the second International Workshop on the Foundations of Interactive Computation Proceedings

Large Deviations Perspective on Ordinal Optimization of Heavy-tailed Systems In Proceedings

J. Blanchet (Jose), J. Liu and A.P. Zwart (Bert)

Analysis of an M/G/1 queue with customer impatience and an adaptive arrival process In Proceedings

O.J. Boxma (Onno), O. Kella, D. Perry and B.J. Prabhu (Balakrishna)

Scaling laws for file dissemination in P2P networks with random contacts In Proceedings

R. Núñez Queija (Rudesindo) and B.J. Prabhu (Balakrishna)