The April 2020 Global Financial Stability Report (GFSR) assesses the financial stability challenges posed by the coronavirus (COVID-19) pandemic. Chapter 1 describes how financial conditions tightened ...

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 ...

Department of Chemical Engineering, Indian Institute of Technology Kanpur, Kanpur 208016, India * To whom correspondence should be addressed. E-mail: [email protected]. Fax: +91-512-259-0104. Phone: ...