General distributions in process algebra (original) (raw)
Related papers
A theory of Stochastic systems. Part II: Process algebra
2005
Symbolic Approaches to Probability Distributions in Process Algebra
Formal Aspects of Computing, 2000
A Process Algebra for Probabilistic and Nondeterministic Processes
Information Processing Letters, 2000
On a uniform framework for the definition of stochastic process languages
2009
An Overview of Probabilistic Process Algebras and Their Equivalences
Lecture Notes in Computer Science, 2004
Real-Time Process Algebra with Stochastic Delays
Topology and Its Applications, 2007
Lecture Notes in Computer Science, 2004
Stochastic Process Algebras Meet Eden
Lecture Notes in Computer Science, 2002
A uniform definition of stochastic process calculi
ACM Computing Surveys, 2013
Process Algebra-Guest editors' foreword
Process algebra with action dependencies
Acta informatica, 2001
Algebraic theory of probabilistic and nondeterministic processes
The Journal of Logic and Algebraic Programming, 2003
Stochastic Process Algebra: From An Algebraic Formalism to An Architectural Description Language
Performance Evaluation of …, 2002
Weak sequential composition in process algebras
CONCUR'94: Concurrency Theory, 1994
Discrete Time Process Algebra and the Semantics of SDL
Handbook of Process Algebra, 2001
Towards a Product Form Solution for Stochastic Process Algebras
The Computer Journal, 1995
The Journal of Logic and Algebraic Programming, 2007
Structural Operational Semantics for Stochastic Process Calculi
Lecture Notes in Computer Science, 2008
Process algebra for performance evaluation
2002
An overview and synthesis on timed process algebras
Lecture Notes in Computer Science, 1992
Priority and abstraction in process algebra
Foundation of Software …, 1994
Semantics, bisimulation and congruence results for a general stochastic process operator
2011
Generic process algebra: A programming challenge
2006
Completeness in discrete-time process algebra
1996
Delayed choice for process algebra with abstraction
Lecture Notes in Computer Science, 1995
A linear process-algebraic format with data for probabilistic automata
2012
Rate-Based Transition Systems for Stochastic Process Calculi
2009
Fluid semantics for passive stochastic process algebra cooperation
Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools, 2008
A Calculus of Mobile Processes, I
Information and Computation/information and Control, 1992
Stochastic Process Algebras and their Application to Performance Modelling
2000
Read Operators and their Expressiveness in Process Algebras
Electronic Proceedings in Theoretical Computer Science, 2011
Models and axioms for a fragment of real time process algebra
1993
An algebraic approach to the specification of stochastic systems
1998
Model Theory for Process Algebra
Lecture Notes in Computer Science, 2005
Some finite-graph models for process algebra
Lecture Notes in Computer Science, 1991