Context for models of concurrency
Peter Bubenik
Abstract
Many categories have been used to model concurrency. Using any of these, the challenge is to reduce a given model to a smaller representation which nevertheless preserves the relevant computer-scientific information. That is, one wants to replace a given model with a simpler model with the same directed homotopy-type. Unfortunately, the obvious definition of directed homotopy equivalence is too coarse. This paper introduces the notion of context to refine this definition.
Create a lesson
Related papers
Persistence diagrams of finite topological spaces
Akhilesh Badra, Hemant Kumar Singh
Equivariant formality for rational pk-spaces
Rekha Santhanam, Bittu Singh, Soumyadip Thandar
Koszul Duality in an Equivariant Context
Sofía Martínez Alberga
Geodesic Models for Loop Spaces on Riemannian Manifolds
Abbas Bahri, Fred Cohen, Moncef Ghazel et al.
Topological realizations of finite posets
Vin de Silva
Representation homology of involutive algebras and hyperoctaherdral homology
Yuri Berest, Ajay C. Ramadoss, John Wood