scientific article

zbMath1290.68096arXiv1011.1030MaRDI QIDQ3225719

Dai Tri Man Lê

Publication date: 22 March 2012

Full work available at URL: https://arxiv.org/abs/1011.1030

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

generalized trace theorystep sequencestratified order structurecausality theory of concurrencycombined trace

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Classifying invariant structures of step traces ⋮ Modeling concurrency with interval traces ⋮ Step traces

This page was built for publication: