Obtaining probabilistic dynamic state graphs for TPPAL processes

Abstract

Software engineers work gladly with process algebras, as they are very similar to programming languages. However, graphical models are better in order to understand how a system behaves, and even these graphical models allow us to analyze some properties of the systems. Then, in this paper we present two formalisms for the specification of concurrent… (More)
DOI: 10.1109/ASWEC.2005.33

Topics

4 Figures and Tables