scientific article

From MaRDI portal

Publication:2703722

Jump to:navigation, search

zbMath0976.68070MaRDI QIDQ2703722

Stefan Sokołowski, Lisbeth Fajstrup

Publication date: 7 May 2001

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

zbMATH Keywords

formal topological semantics

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (2)

Deadlocks and dihomotopy in mutual exclusion models ⋮ Simplicial models of trace spaces

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2703722&oldid=15550265"