Posets with interfaces as a model for concurrency
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański
Topics & Concepts
Partially ordered setConcurrencyIsomorphism (crystallography)Composition (language)Commutative propertySeries (stratigraphy)MathematicsClass (philosophy)Computer scienceHierarchyAtomicityCombinatoricsDiscrete mathematicsProgramming languageArtificial intelligenceDatabase transactionCrystal structurePhilosophyPaleontologyEconomicsChemistryMarket economyLinguisticsBiologyCrystallographyLogic, programming, and type systemssemigroups and automata theoryHomotopy and Cohomology in Algebraic Topology