scientific article; zbMATH DE number 1241703

zbMath0919.68046MaRDI QIDQ4225153

Glynn Winskel, Mogens Nielsen

Publication date: 18 January 1999

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

zbMATH Keywords

reactive systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Related Items (7)

Causal Unfoldings and Disjunctive Causes ⋮ Unnamed Item ⋮ Typed event structures and the linear \(\pi \)-calculus ⋮ Algebra Transformation Systems as a Unifying Framework ⋮ A Logic for True Concurrency ⋮ Probabilistic π-Calculus and Event Structures ⋮ Topological model of neural information networks

This page was built for publication: