Non-Hausdorff parallelized manifolds over geometric models of conservative programs

DOI10.1017/S0960129525100169MaRDI QIDQ6939155zbMATH OpenFDO

Authors Emmanuel Haucourt

Publication date 22 August 2025

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129525100169

zbMATH Keywords

concurrencycone fielddirected pathexecution timelocal ordermulti-instruction

Mathematics Subject Classification ID

Directed graphs (digraphs), tournaments (05C20) Applications of differential geometry to data and computer science (53Z50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• A fast algorithm for testing for safety and detecting deadlocks in locked transaction systems
• A generalized manifold topology for branching space-times
• A note on topological properties of non-Hausdorff manifolds
• Abstract Algebra
• Algebraic topology and concurrency
• An introduction to differential manifolds. Translated from the 2nd French edition by Jonathan Upjohn
• Analytic and geometric study of stratified spaces
• Bifurcate Space-Times
• Causality in non-Hausdorff space-times
• Comparative smootheology
• Constructing arcs from paths by collapsing subloops
• Convenient categories of smooth spaces
• Diffeology
• Differential Topology
• Differential Topology
• Differential topology
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Higher dimensional automata revisited
• scientific article; zbMATH DE number 1001612 (Why is no real title available?)
• scientific article; zbMATH DE number 436957 (Why is no real title available?)
• scientific article; zbMATH DE number 5344975 (Why is no real title available?)
• scientific article; zbMATH DE number 3674979 (Why is no real title available?)
• scientific article; zbMATH DE number 3697771 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3764763 (Why is no real title available?)
• scientific article; zbMATH DE number 49719 (Why is no real title available?)
• scientific article; zbMATH DE number 52737 (Why is no real title available?)
• scientific article; zbMATH DE number 108358 (Why is no real title available?)
• scientific article; zbMATH DE number 3539473 (Why is no real title available?)
• scientific article; zbMATH DE number 3562121 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 3583744 (Why is no real title available?)
• scientific article; zbMATH DE number 1246686 (Why is no real title available?)
• scientific article; zbMATH DE number 1321178 (Why is no real title available?)
• scientific article; zbMATH DE number 1332362 (Why is no real title available?)
• scientific article; zbMATH DE number 1461253 (Why is no real title available?)
• scientific article; zbMATH DE number 2155784 (Why is no real title available?)
• scientific article; zbMATH DE number 195121 (Why is no real title available?)
• scientific article; zbMATH DE number 1385418 (Why is no real title available?)
• scientific article; zbMATH DE number 3800572 (Why is no real title available?)
• scientific article; zbMATH DE number 1862431 (Why is no real title available?)
• scientific article; zbMATH DE number 2103273 (Why is no real title available?)
• scientific article; zbMATH DE number 1444542 (Why is no real title available?)
• scientific article; zbMATH DE number 3213310 (Why is no real title available?)
• scientific article; zbMATH DE number 3214194 (Why is no real title available?)
• scientific article; zbMATH DE number 3214233 (Why is no real title available?)
• scientific article; zbMATH DE number 3221041 (Why is no real title available?)
• scientific article; zbMATH DE number 3318423 (Why is no real title available?)
• scientific article; zbMATH DE number 3359777 (Why is no real title available?)
• scientific article; zbMATH DE number 2227488 (Why is no real title available?)
• scientific article; zbMATH DE number 7646025 (Why is no real title available?)
• scientific article; zbMATH DE number 7716056 (Why is no real title available?)
• Interpreting non-Hausdorff (generalized) manifolds in general relativity
• Introduction to differentiable manifolds.
• Introduction to Riemannian Manifolds
• Lectures on Differential Topology
• Manifolds, tensor analysis, and applications.
• Manifolds: Hausdorffness versus homogeneity
• Measure and Integral
• Minimum action curves in degenerate Finsler metrics. Existence and properties
• Non-existing and ill-behaved coequalizers of locally ordered spaces
• Non-metrisable manifolds
• Nonseparated manifolds and completely unstable flows
• Ordered Manifolds, Invariant Cone Fields, and Semigroups
• Reparametrizations of continuous paths
• Smooth manifolds and observables
• Streams, \(d\)-spaces and their fundamental categories
• The Classification of 1-Manifolds: A Take-Home Exam
• The geometry of conservative programs
• The geometry of semaphore programs
• The self-intersections of a smooth \(n\)-manifold in \(2n\)-space
• Variétés (non separees) à une dimension et structures feuilletees du plan
• Whitney stratifications are conically smooth

Cited in

(1)

• Realization of relational presheaves

This page was built for publication: Non-Hausdorff parallelized manifolds over geometric models of conservative programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6939155)