The geometry of conservative programs

DOI10.1017/S0960129517000226MaRDI QIDQ4961721zbMATH OpenOpenAlexFDO

Authors Emmanuel Haucourt

Publication date 25 October 2018

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

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

Mathematics Subject Classification ID

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)

Recommendations

• A geometric method for a class of convex programs
• Publication:4732310
• scientific article; zbMATH DE number 3272827
• scientific article; zbMATH DE number 4174695
• Conjugate duality for convex programs: A geometric development
• scientific article; zbMATH DE number 509941
• Conic programming: infeasibility certificates and projective geometry
• The geometry of linear infeasibility
• scientific article; zbMATH DE number 480243

Cites work

• A convenient category of locally preordered spaces
• A fast algorithm for testing for safety and detecting deadlocks in locked transaction systems
• A fibration category of local pospaces
• A geometric approach to the problem of unique decomposition of processes
• A model category for local po-spaces
• Algebraic topology and concurrency
• Cubical approximation for directed topology. I
• Dipaths and dihomotopies in a cubical complex
• Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
• Directed algebraic topology and higher dimensional transition systems
• Erratum to ``On the expressiveness of higher dimensional automata
• Exponentiable streams and prestreams
• Formal relationships between geometrical and classical models for concurrency
• Geometry and concurrency: a user's guide
• Higher dimensional automata revisited
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 43279 (Why is no real title available?)
• scientific article; zbMATH DE number 2051884 (Why is no real title available?)
• scientific article; zbMATH DE number 1385418 (Why is no real title available?)
• scientific article; zbMATH DE number 1878545 (Why is no real title available?)
• scientific article; zbMATH DE number 3213310 (Why is no real title available?)
• scientific article; zbMATH DE number 3278860 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• scientific article; zbMATH DE number 3359777 (Why is no real title available?)
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• Streams, \(d\)-spaces and their fundamental categories
• The geometry of semaphore programs
• Topology and groupoids
• Topology. Translated from the Italian by Simon G. Chiossi

Cited in

(3)

• Non-existing and ill-behaved coequalizers of locally ordered spaces
• Syntactic regions for concurrent programs
• Non-Hausdorff parallelized manifolds over geometric models of conservative programs

This page was built for publication: The geometry of conservative programs

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