Probabilistic Trace and Testing Semantics: The Importance of Being Coherent
-
Published:2022
Issue:4
Volume:7
Page:244-332
-
ISSN:2325-1107
-
Container-title:Foundations and Trends® in Programming Languages
-
language:en
-
Short-container-title:FNT in Programming Languages
Subject
Computer Science Applications,Theoretical Computer Science,Software