scientific article; zbMATH DE number 1555178

zbMath0953.68574MaRDI QIDQ4525277

Kevin J. Compton, R. Uceda-Sosa

Publication date: 22 January 2001

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of model theory (03C98)

Related Items

The enumeration of irreducible combinatorial objects