scientific article; zbMATH DE number 2102737

zbMATH Open1046.68617MaRDI QIDQ4818824

Rocco De Nicola, Xiaojun Chen

Publication date: 24 September 2004

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Related Items (1)

Algebraic characterizations of trace and decorated trace equivalences over tree-like structures

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4818824)