Approximating traces

From MaRDI portal

Publication:1270563

Jump to:navigation, search

DOI10.1007/S002360050132zbMath0912.68128OpenAlexW4236832882MaRDI QIDQ1270563

Volker Diekert, Paul Gastin

Publication date: 11 January 1999

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002360050132

zbMATH Keywords

concurrent processes Mazurkiewics traces

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (2)

The topology of Mazurkiewicz traces. ⋮ A truly concurrent semantics for a process algebra using resource pomsets

This page was built for publication: Approximating traces

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1270563&oldid=13371063"