Abstract: The paper firstly analyzes the basic structure of UML Sequence Diagram and gives the formal description of Object Petri Nets. For reuse, the formal description of reusable interaction is ...

The study of spin systems in the large N limit began with the paper of Stanley [1], who studied the N vector model using saddle point techniques. The leading order behaviour matches with the result of ...