Structural operational semantics for continuous state probabilistic processes (original) (raw)
Related papers
Structural Operational Semantics for Stochastic Process Calculi
Lecture Notes in Computer Science, 2008
Structural operational semantics for stochastic and weighted transition systems
2013
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
Stochastic process semantics for dynamical grammars
Annals of Mathematics and Artificial …, 2006
SEW-31: 31st Annual IEEE/NASA Software Engineering Workshop, 2007
Journal of Logic and …, 2011
A Non-SOS Operational Semantics for a Process Algebra
Information Processing Letters, 1998
A Process Algebra for Probabilistic and Nondeterministic Processes
Information Processing Letters, 2000
An Algebraic Theory of Markov Processes
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
A linear process-algebraic format for probabilistic systems with data
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010
A uniform definition of stochastic process calculi
ACM Computing Surveys, 2013
A linear process-algebraic format with data for probabilistic automata
2012
Hybrid Semantics for Stochastic π-Calculus
Algebraic Biology, 2008
From individuals to populations: A mean field semantics for process algebra
Theoretical Computer Science, 2011
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
On the Unification of Process Semantics: Equational Semantics
Electronic Notes in Theoretical Computer Science, 2009
MarCaSPiS: a Markovian Extension of a Calculus for Services
Electronic Notes in Theoretical Computer Science, 2009
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages
Electronic Proceedings in Theoretical Computer Science, 2012
Compositionality of probabilistic Hennessy-Milner logic through structural operational semantics
CONCUR, 2012
Probabilistic Operational Semantics for the Lambda Calculus
2011
Stochastic Process Algebra: From An Algebraic Formalism to An Architectural Description Language
Performance Evaluation of …, 2002
Algebraic Meta-Theory of Processes with Data
A probabilistic language formalism for stochastic discrete-event systems
IEEE Transactions on Automatic Control, 1999
Symbolic Approaches to Probability Distributions in Process Algebra
Formal Aspects of Computing, 2000
Qualitative Logics and Equivalences for Probabilistic Systems
Logical Methods in Computer Science, 2009
Metric Denotational Semantics for
A theory of Stochastic systems. Part II: Process algebra
2005
Markov Abstractions for Probabilistic Pi-Calculus
Relating maximality-based semantics to action refinement in process algebras
Djamel-Eddine Saïdouni, Djamel Eddine Saïdouni, Jean-pierre Courtiat
Semantics, bisimulation and congruence results for a general stochastic process operator
2011
On the Unification of Process Semantics: Observational Semantics
Lecture Notes in Computer Science, 2009
A STOCHASTIC INTERPRETATION OF PROPOSITIONAL DYNAMIC LOGIC: EXPRESSIVITY
Transition systems from event structures revisited
Information Processing Letters, 1998
Approximating Continuous Markov Processes
2000