scientific article; zbMATH DE number 5279376

zbMath1152.68469MaRDI QIDQ5387678

Samy Abbes

Publication date: 27 May 2008

Full work available at URL: https://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/issue/view/82/showToc.html

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) Categorical semantics of formal languages (18C50)

Related Items (1)

What topology tells us about diagnosability in partial order semantics

This page was built for publication: