The Implementation of Mazurkiewicz Traces in POEM

DOI10.1007/11901914_37zbMath1161.68579OpenAlexW1490551994MaRDI QIDQ3522932

Peter Niebert, Hongyang Qu

Publication date: 4 September 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

A Nice labelling for tree-like event structures of degree 3 ⋮ POEM

Uses Software

• IF-2.0

This page was built for publication: The Implementation of Mazurkiewicz Traces in POEM