scientific article; zbMATH DE number 1512617

zbMath0961.68089MaRDI QIDQ4508302

Rémi Morin, Jean-François Husson

Publication date: 3 October 2000

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

zbMATH Keywords

Mazurkiewicz tracesScott domain theory

Mathematics Subject Classification ID

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

Related Items (1)

MSO Logic for Unambiguous Shared-Memory Systems

This page was built for publication: