Behaviour approximated on subgroups

DOI10.1016/J.TOPOL.2009.03.010zbMath1202.54011OpenAlexW2050050075MaRDI QIDQ1030197

J. Blot

Publication date: 1 July 2009

Published in: Topology and its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.topol.2009.03.010

zbMATH Keywords

circle groupBaire categorybounded functionclosed subgroupsubstructure in computer science

Mathematics Subject Classification ID

Continuous maps (54C05) Topological groups (topological aspects) (54H11) Baire category, Baire spaces (54E52) Subspaces in general topology (54B05) Topological and differentiable algebraic systems (22A99) Theory of computing (68Q99)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unifying theories of programming. First international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5--7, 2006. Revised selected papers.
• Resources, concurrency, and local reasoning
• Defining liveness
• The timed failures -- Stability model for CSP
• The kernel of a rule of approximate integration
• Separation and information hiding
• The Shadow Knows: Refinement of Ignorance in Sequential Programs
• Sets Thick and Thin
• Hierarchical reasoning in probabilistic CSP

This page was built for publication: Behaviour approximated on subgroups