Causal testing
From MaRDI portal
Publication:5054889
DOI10.1007/3-540-61550-4_165zbMath1499.68224OpenAlexW4206183253MaRDI QIDQ5054889
Publication date: 11 December 2022
Published in: Mathematical Foundations of Computer Science 1996 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61550-4_165
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Testing equivalences of time Petri nets, Modelling causality via action dependencies in branching time semantics, Analysis of equivalence relations of event structures with continuous time
