Structural operational semantics for stochastic process calculi

Authors:
Bartek Klin;Vladimiro Sassone
Affiliations:
Warsaw University, University of Edinburgh;ECS, University of Southampton
Venue:
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Year:
2008

Citing 16
Cited 13

A Theory of Communicating Sequential Processes

Journal of the ACM (JACM)
Bisimulation through probabilistic testing

Information and Computation
Bisimulation can't be traced

Journal of the ACM (JACM)
Enhanced operational semantics

ACM Computing Surveys (CSUR)
A compositional approach to performance modelling

A compositional approach to performance modelling
A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time

Theoretical Computer Science
Bisimulation for probabilistic transition systems: a coalgebraic approach

Theoretical Computer Science
Universal coalgebra: a theory of systems

Theoretical Computer Science - Modern algebra and its applications
Process algebra for performance evaluation

Theoretical Computer Science
Language-based performance prediction for distributed and mobile systems

Information and Computation
Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras

Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance '93 and Sigmetrics '93
Bisimulation for labelled Markov processes

Information and Computation - Special issue: LICS'97
Towards a Mathematical Operational Semantics

LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Process Algebras for Quantitative Analysis

LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics

LICS '06 Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science
Probabilistic bisimulation as a congruence

ACM Transactions on Computational Logic (TOCL)

Non Expansive ε-Bisimulations

AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Categories of Timed Stochastic Relations

Electronic Notes in Theoretical Computer Science (ENTCS)
On a Uniform Framework for the Definition of Stochastic Process Languages

FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Non-expansive ε-bisimulations for probabilistic processes

Theoretical Computer Science
Structural operational semantics for weighted transition systems

Semantics and algebraic specification
Concurrency and composition in a stochastic world

CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
The how and why of interactive Markov chains

FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Towards Effects in Mathematical Operational Semantics

Electronic Notes in Theoretical Computer Science (ENTCS)
Approximating Markovian testing equivalence

Theoretical Computer Science
Compositionality of probabilistic Hennessy-Milner logic through structural operational semantics

CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Structural operational semantics for stochastic and weighted transition systems

Information and Computation
A uniform definition of stochastic process calculi

ACM Computing Surveys (CSUR)
General patterns of interaction in stochastic fusion

Natural Computing: an international journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeterministic processes. Stochastic bisimilarity is guaranteed a congruence for systems defined by SGSOS rules. Associativity of parallel composition in stochastic process algebras is also studied within the framework.