scientific article; zbMATH DE number 1390090

zbMath0955.68050MaRDI QIDQ4934357

Viorica Sofronie-Stokkermans, Karel Stokkermans

Publication date: 17 January 2000

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

zbMATH Keywords

interacting systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items (1)

Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems

This page was built for publication: