Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View history
Purge
English
Log in
No label defined
(Q3384915)
From MaRDI portal
Jump to:
navigation
,
search
scientific article
Language
Label
Description
Also known as
English
No label defined
scientific article
Statements
instance of
scholarly article
0 references
author
Jane Hillston
0 references
Carla Piazza
0 references
Sabina Rossi
0 references
publication date
17 December 2021
0 references
full work available at URL
https://arxiv.org/abs/1808.08650
0 references
http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2018.6
0 references
Mathematics Subject Classification ID
68Q55
0 references
68Q85
0 references
zbMATH DE Number
7447774
0 references
MaRDI profile type
MaRDI publication profile
0 references
cites work
The Applied Pi Calculus
0 references
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
0 references
Comparative branching-time semantics for Markov chains
0 references
Verifying persistent security properties
0 references
A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
0 references
Controlling information release in the \(\pi\)-calculus
0 references
On the semantics of Markov automata
0 references
Q4798029
0 references
Foundations of Software Science and Computational Structures
0 references
Q4417888
0 references
A Compositional Approach to Performance Modelling
0 references
Unwinding Possibilistic Security Properties
0 references
On the relations between Markov chain lumpability and reversibility
0 references
Q3992568
0 references
Tools and Algorithms for the Construction and Analysis of Systems
0 references
Sitelinks
Mathematics
(1 entry)
mardi
Publication:3384915
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Concept URI
