Real-time in stochastic process algebra: keeping track of winners and losers

A method of producing waterproofing membranes is disclosed. A tough, fibrous web or matting is saturated with a thermoplastic waterproofing compound to produce a predetermined minimum thickness on both the upper and lower surfaces of the membrane sufficient to provide adequate flow characteristics during installation of the membrane without excessive exposure of the support matting to deteriorating conditions during installation. Afterwards the coated membrane is cooled and inverted for further treating at least one of the exposed surfaces with additional material.

[1]  M. Bravetti,et al.  From EMPA to GSMPA : Allowing for General DistributionsMario Bravetti , 2007 .

[2]  F. Cole.  To the Best of Our Knowledge , 1979 .

[3]  Mario Bravetti,et al.  Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions , 2004, Validation of Stochastic Systems.

[4]  Howard Bowman,et al.  Model checking stochastic automata , 2003, TOCL.

[5]  Erik P. de Vink,et al.  Real-Time Process Algebra with Stochastic Delays , 2007, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).

[6]  P. Glynn.  A GSMP formalism for discrete event systems , 1989, Proc. IEEE.

[7]  Kim G. Larsen,et al.  Bisimulation through Probabilistic Testing , 1991, Inf. Comput..

[8]  Joost-Pieter Katoen,et al.  General Distributions in Process Algebra , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.

[9]  Joost-Pieter Katoen,et al.  A theory of stochastic systems part I: Stochastic automata , 2005, Inf. Comput..

[10]  Jos C. M. Baeten,et al.  Process Algebra with Timing , 2002, Monographs in Theoretical Computer Science. An EATCS Series.

[11]  Manuel Núñez,et al.  Weak Stochastic Bisimulation for Non-markovian Processes , 2005, ICTAC.

[12]  Joost-Pieter Katoen,et al.  A theory of Stochastic systems. Part II: Process algebra , 2005, Inf. Comput..

[13]  Joseph Sifakis,et al.  An Overview and Synthesis on Timed Process Algebras , 1991, CAV.

[14]  Erik P. de Vink,et al.  Embedding Real Time in Stochastic Process Algebras , 2006, EPEW.

[15]  Ronald A. Howard,et al.  Dynamic Probabilistic Systems , 1971 .

[16]  Manuel Núñez,et al.  NMSPA: A Non-Markovian Model for Stochastic Processes , 2000, ICDCS Workshop on Distributed System Validation and Verification.