scientific article; zbMATH DE number 3999306

zbMath0616.68059MaRDI QIDQ4725761

Glynn Winskel

Publication date: 1986

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

zbMATH Keywords

parallel computationPetri netstreessemanticsconcurrencyadjunctionsinvariants of nets

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Related Items (2)

Conditioning for variance reduction in estimating the sensitivity of simulations ⋮ How to optimize discrete-event systems from a single sample path by the score function method

This page was built for publication: