scientific article
From MaRDI portal
Publication:3384915
Carla Piazza, Jane Hillston, Sabina Rossi
Publication date: 17 December 2021
Full work available at URL: https://arxiv.org/abs/1808.08650
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Verifying persistent security properties
- On the semantics of Markov automata
- Comparative branching-time semantics for Markov chains
- On the relations between Markov chain lumpability and reversibility
- Controlling information release in the \(\pi\)-calculus
- The Applied Pi Calculus
- A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
- A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
- Tools and Algorithms for the Construction and Analysis of Systems
- A Compositional Approach to Performance Modelling
- Foundations of Software Science and Computational Structures
- Unwinding Possibilistic Security Properties
This page was built for publication: