An algebraic approach to the specification of stochastic systems (original) (raw)
Related papers
A theory of Stochastic systems. Part II: Process algebra
2005
Stochastic Process Algebra: From An Algebraic Formalism to An Architectural Description Language
Performance Evaluation of …, 2002
On a uniform framework for the definition of stochastic process languages
2009
A Process Algebra for Probabilistic and Nondeterministic Processes
Information Processing Letters, 2000
A theory of stochastic systems part I: Stochastic automata
2005
Algebraic theory of probabilistic and nondeterministic processes
The Journal of Logic and Algebraic Programming, 2003
An overview and synthesis on timed process algebras
Lecture Notes in Computer Science, 1992
A uniform definition of stochastic process calculi
ACM Computing Surveys, 2013
MoDeST - A Modelling and Description Language for Stochastic Timed Systems
Process Algebra and Probabilistic Methods, 2001
Towards model checking stochastic process algebra
2000
Algebras and Automata for Timed and Stochastic Systems
2000
Stochastic Process Algebras Meet Eden
Lecture Notes in Computer Science, 2002
A linear process-algebraic format with data for probabilistic automata
Theoretical Computer Science, 413, 2012
An Overview of Probabilistic Process Algebras and Their Equivalences
Lecture Notes in Computer Science, 2004
NMSPA: A non-Markovian model for stochastic processes
Proc. ICDS, 2000
Categorical foundations for randomly timed automata
Paulo Mateus, Amílcar Sernadas
Theoretical Computer Science, 2003
Structural Operational Semantics for Stochastic Process Calculi
Lecture Notes in Computer Science, 2008
Specification of Stochastic Properties in Real-Time Systems
1996
Real-Time Process Algebra with Stochastic Delays
Topology and Its Applications, 2007
Models and axioms for a fragment of real time process algebra
1993
A linear process-algebraic format for probabilistic systems with data
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010
Stochastic Process Algebras and their Application to Performance Modelling
2000
Discrete Time Process Algebra and the Semantics of SDL
Handbook of Process Algebra, 2001
The Journal of Logic and Algebraic Programming, 2007
A linear process-algebraic format for probabilistic systems with data (extended version)
Technical Report TR-CTIT-10-11, Centre for Telematics and Information Technology, 2010
General distributions in process algebra
Lectures on Formal Methods and PerformanceAnalysis, 2001
SEW-31: 31st Annual IEEE/NASA Software Engineering Workshop, 2007