scientific article; zbMATH DE number 5173927

zbMath1123.68076MaRDI QIDQ5294164

Goulven Guillou, Jules Chenou, Eric Badouel

Publication date: 24 July 2007

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

zbMATH Keywords

MV-algebrasbounded nets

Mathematics Subject Classification ID

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

This page was built for publication: