A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
From MaRDI portal
Publication:1128976
Recommendations
- Extended Markovian Process Algebra
- Corrigendum to ``A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time
- scientific article; zbMATH DE number 1696898
Cites work
- A process algebra for timed systems
- A process algebra with distributed priorities
- A resource-based prioritized bisimulation for real-time systems
- A theory of processes with durational actions
- A timed model for communicating sequential processes
- An implementation of an efficient algorithm for bisimulation equivalence
- Axiomatizing probabilistic processes: ACP with generative probabilities
- Bisimulation through probabilistic testing
- CCS with priority choice
- Extended Markovian Process Algebra
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 3716792 (Why is no real title available?)
- scientific article; zbMATH DE number 3736680 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 48630 (Why is no real title available?)
- scientific article; zbMATH DE number 176736 (Why is no real title available?)
- scientific article; zbMATH DE number 3522951 (Why is no real title available?)
- scientific article; zbMATH DE number 4001464 (Why is no real title available?)
- scientific article; zbMATH DE number 836615 (Why is no real title available?)
- LOTOS extended with probabilistic behaviours
- Priorities in process algebras
- Probabilistic and prioritized models of timed CSP
- Probabilistic communicating processes
- Process algebra for synchronous communication
- Processes with probabilities, priority and time
- Reactive, generative, and stratified models of probabilistic processes
- Real time process algebra
- Specification styles in distributed systems design and verification
- The algebra of timed processes, ATP: Theory and application
- Three Partition Refinement Algorithms
- TIC: a tImed calculus
Cited in
(53)- Testing from a stochastic timed system with a fault model
- Probabilistic mobile ambients
- Optimal state-space lumping in Markov chains
- A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems
- On the use of MTBDDs for performability analysis and verification of stochastic systems.
- Turning back time in Markovian process algebra.
- The theory of interactive generalized semi-Markov processes
- A compositional model to reason about end-to-end QoS in stochastic Reo connectors
- Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses
- A brief history of process algebra
- Process algebras for systems diagnosis.
- Performance measure sensitive congruences for Markovian process algebras
- Reconciling real and stochastic time: the need for probabilistic refinement
- Performance evaluation in stochastic process algebra dtsdPBC
- Solving systems of bilinear equations for transition rate reconstruction
- Discrete time stochastic and deterministic Petri box calculus dtsdPBC
- Fluid approximation of broadcasting systems
- A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
- Exact fluid lumpability in Markovian process algebra
- A congruence relation for sPBC
- A theory of stochastic systems. II: Process algebra
- Separable equilibrium state probabilities via time reversal in Markovian process algebra
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
- Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time
- Categories of timed stochastic relations
- Taking decisions late: end-based choice combined with action refinement
- Reflections on the future of concurrency theory in general and process calculi in particular
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions
- Quantitative Analysis of Concurrent Reversible Computations
- Performance analysis of concurrent systems in algebra dtsiPBC
- On the semantics of Markov automata
- The how and why of interactive Markov chains
- Structural analysis for stochastic process algebra models
- An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA
- An expressiveness study of priority in process calculi
- Structural operational semantics for stochastic and weighted transition systems
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
- Tackling continuous state-space explosion in a Markovian process algebra
- An algebra-based method to associate rewards with EMPA terms
- Linear Structures for Concurrency in Probabilistic Programming Languages
- It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models
- Structural operational semantics for non-deterministic processes with quantitative aspects
- Fluid analysis for a PEPA model
- A randomized encoding of the \(\pi\)-calculus with mixed choice
- Equivalence relations for modular performance evaluation in dtsPBC
- Corrigendum to ``A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- Process algebra for performance evaluation
- Weak bisimulation for probabilistic timed automata
- Extended Markovian Process Algebra
- Performance preserving equivalence for stochastic process algebra dtsdPBC
- CARMA: collective adaptive resource-sharing Markovian agents
- GSOS for non-deterministic processes with quantitative aspects
- Formal techniques for performance analysis: blending SAN and PEPA
This page was built for publication: A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1128976)
