scientific article; zbMATH DE number 1361142
From MaRDI portal
Publication:4270080
zbMath0939.68087MaRDI QIDQ4270080
Publication date: 20 December 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Related Items (6)
Continuous probability distributions in concurrent games ⋮ A coalgebraic semantics for causality in Petri nets ⋮ Causality in physics and computation ⋮ Revisiting causality, coalgebraically ⋮ Distributed Strategies Made Easy ⋮ Coalgebra morphisms subsume open maps
This page was built for publication:
