Analysing Message Sequence Graph Specifications

We give a detailed construction of a finite-state transition system for a com-connected Message Sequence Graph. Though this result is well-known in the literature and forms the basis for the solution to several analysis and verification problems concerning MSG specifications, the constructions given in the literature are either not amenable to implementation, or imprecise, or simply incorrect. In contrast we give a detailed construction along with a proof of its correctness. Our transition system is amenable to implementation, and can also be used for a bounded analysis of general (not necessarily com-connected) MSG specifications.

QCD mini-jets contribution to the total cross-section for pions and protons and expectations at LHC

We describe our kt-resummation model for total cross-sections and show its application to pp and ¯pp scattering. The model uses mini-jets to drive the rise of the cross-section and soft gluon resummation in the infrared region to transform the violent rise of the mini-jet cross-section into a logarithmic behaviour in agreement with the Froissart bound.