Publication:4461953

zbMath1111.68534MaRDI QIDQ4461953

Amin Coja-Oghlan, Mark-Oliver Stehr

Publication date: 18 May 2004

zbMATH Keywords

rewriting logic

Mathematics Subject Classification ID

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

Uses Software

• Maude