Probabilistic software product lines
From MaRDI portal
Publication:2329442
DOI10.1016/j.jlamp.2019.05.007zbMath1431.68017OpenAlexW2948877507MaRDI QIDQ2329442
Luis Llana, Carlos Camacho, Mario Bravetti, Alberto Núñez
Publication date: 17 October 2019
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-02387462/file/main.pdf
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Uses Software
Cites Work
- Information hiding in probabilistic concurrent systems
- Probabilistic systems coalgebraically: a survey
- Cost-related interface for software product lines
- On the boundary between decidability and undecidability of asynchronous session subtyping
- Using schedulers to test probabilistic distributed systems
- Undecidability of asynchronous session subtyping
- Reduction semantics in Markovian process algebra
- Real-reward testing for probabilistic processes
- A general SOS theory for the specification of probabilistic transition systems
- A ground-complete axiomatisation of finite-state processes in a generic process algebra
- On the expressive power of process interruption and compensation
- A Petri Net Based Modeling of Active Objects and Futures
- Unnamed Item
