Back to Search
Start Over
Trace and Testing Metrics on Nondeterministic Probabilistic Processes
- Source :
- Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics and 15th Workshop on Structural Operational Semantics, (EXPRESS/SOS) 2018, Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics and 15th Workshop on Structural Operational Semantics, (EXPRESS/SOS) 2018, Sep 2018, Beijing, China. pp.19-36, ⟨10.4204/EPTCS.276.4⟩, EXPRESS/SOS, Electronic Proceedings in Theoretical Computer Science, Vol 276, Iss Proc. EXPRESS/SOS 2018, Pp 19-36 (2018)
- Publication Year :
- 2018
- Publisher :
- HAL CCSD, 2018.
-
Abstract
- The combination of nondeterminism and probability in concurrent systems lead to the development of several interpretations of process behavior. If we restrict our attention to linear properties only, we can identify three main approaches to trace and testing semantics: the trace distributions, the trace-by-trace and the extremal probabilities approaches. In this paper, we propose novel notions of behavioral metrics that are based on the three classic approaches above, and that can be used to measure the disparities in the linear behavior of processes wrt trace and testing semantics. We study the properties of these metrics, like non-expansiveness, and we compare their expressive powers.<br />In Proceedings EXPRESS/SOS 2018, arXiv:1808.08071
- Subjects :
- FOS: Computer and information sciences
Computer Science - Logic in Computer Science
Trace (linear algebra)
Semantics (computer science)
Process behavior
0102 computer and information sciences
02 engineering and technology
01 natural sciences
Measure (mathematics)
lcsh:QA75.5-76.95
Development (topology)
0202 electrical engineering, electronic engineering, information engineering
Mathematics
Discrete mathematics
lcsh:Mathematics
Probabilistic logic
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
020207 software engineering
lcsh:QA1-939
16. Peace & justice
Logic in Computer Science (cs.LO)
Nondeterministic algorithm
010201 computation theory & mathematics
Computer Science::Programming Languages
lcsh:Electronic computers. Computer science
MathematicsofComputing_DISCRETEMATHEMATICS
Subjects
Details
- Language :
- English
- Database :
- OpenAIRE
- Journal :
- Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics and 15th Workshop on Structural Operational Semantics, (EXPRESS/SOS) 2018, Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics and 15th Workshop on Structural Operational Semantics, (EXPRESS/SOS) 2018, Sep 2018, Beijing, China. pp.19-36, ⟨10.4204/EPTCS.276.4⟩, EXPRESS/SOS, Electronic Proceedings in Theoretical Computer Science, Vol 276, Iss Proc. EXPRESS/SOS 2018, Pp 19-36 (2018)
- Accession number :
- edsair.doi.dedup.....4219cb91f04f0c11817a1d8e48268f89