By André Schiper (auth.), Holger Hermanns, Roberto Segala (eds.)
This quantity comprises the complaints of the second one joint PAPM-PROBMIV Workshop, held on the college of Copenhagen, Denmark, July 25–26, 2002 as a part of the Federated good judgment convention (FLoC 2002). The PAPM-PROBMIV workshop effects from the mix of 2 wo- retailers: PAPM (Process Algebras and function Modeling) and PROBMIV (Probabilistic equipment in Veri?cation). the purpose of the joint workshop is to compile the researchers operating around the entire spectrum of ideas for the modeling, speci?cation, research, and veri?cation of probabilistic structures. likelihood is standard within the layout and research of software program and platforms, as a method to derive e?cient algorithms (e.g. randomization), as a version for unreliable or unpredictable habit (as within the research of fault-tolerant structures and desktop networks), and as a device to review functionality and - pendability homes. the themes of the workshop contain speci?cation, m- els, and semantics of probabilistic structures, research and veri?cation ideas, probabilistic tools for the veri?cation of non-probabilistic platforms, and instruments and case stories. The ?rst PAPM workshop used to be held in Edinburgh in 1993; the next ones have been held in Regensberg (1994), Edinburgh (1995), Turin (1996), Enschede (1997), great (1998), Zaragoza (1999), and Geneva (2000). The ?rst PROBMIV workshop was once held in Indianapolis, Indiana (1998); the subsequent one came about in Eindhoven (1999). In 2000, PROBMIV used to be changed via a Dagstuhl seminar on Probabilistic equipment in Veri?cation.