Matches in SemOpenAlex for { <https://semopenalex.org/work/W4379933127> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W4379933127 abstract "We are interested in connections between the theory of fractal sets obtained as attractors of iterated function systems and process calculi. To this end, we reinterpret Milner's expressions for processes as contraction operators on a complete metric space. When the space is, for example, the plane, the denotations of fixed point terms correspond to familiar fractal sets. We give a sound and complete axiomatization of fractal equivalence, the congruence on terms consisting of pairs that construct identical self-similar sets in all interpretations. We further make connections to labelled Markov chains and to invariant measures. In all of this work, we use important results from process calculi. For example, we use Rabinovich's completeness theorem for trace equivalence in our own completeness theorem. In addition to our results, we also raise many questions related to both fractals and process calculi." @default.
- W4379933127 created "2023-06-09" @default.
- W4379933127 creator A5024487259 @default.
- W4379933127 creator A5028261970 @default.
- W4379933127 creator A5087089457 @default.
- W4379933127 date "2023-06-06" @default.
- W4379933127 modified "2023-09-28" @default.
- W4379933127 title "Fractals from Regular Behaviours" @default.
- W4379933127 doi "https://doi.org/10.48550/arxiv.2306.03894" @default.
- W4379933127 hasPublicationYear "2023" @default.
- W4379933127 type Work @default.
- W4379933127 citedByCount "0" @default.
- W4379933127 crossrefType "posted-content" @default.
- W4379933127 hasAuthorship W4379933127A5024487259 @default.
- W4379933127 hasAuthorship W4379933127A5028261970 @default.
- W4379933127 hasAuthorship W4379933127A5087089457 @default.
- W4379933127 hasBestOaLocation W43799331271 @default.
- W4379933127 hasConcept C118615104 @default.
- W4379933127 hasConcept C134306372 @default.
- W4379933127 hasConcept C140479938 @default.
- W4379933127 hasConcept C168460219 @default.
- W4379933127 hasConcept C17231256 @default.
- W4379933127 hasConcept C198043062 @default.
- W4379933127 hasConcept C202444582 @default.
- W4379933127 hasConcept C2780069185 @default.
- W4379933127 hasConcept C33923547 @default.
- W4379933127 hasConcept C40636538 @default.
- W4379933127 hasConceptScore W4379933127C118615104 @default.
- W4379933127 hasConceptScore W4379933127C134306372 @default.
- W4379933127 hasConceptScore W4379933127C140479938 @default.
- W4379933127 hasConceptScore W4379933127C168460219 @default.
- W4379933127 hasConceptScore W4379933127C17231256 @default.
- W4379933127 hasConceptScore W4379933127C198043062 @default.
- W4379933127 hasConceptScore W4379933127C202444582 @default.
- W4379933127 hasConceptScore W4379933127C2780069185 @default.
- W4379933127 hasConceptScore W4379933127C33923547 @default.
- W4379933127 hasConceptScore W4379933127C40636538 @default.
- W4379933127 hasLocation W43799331271 @default.
- W4379933127 hasOpenAccess W4379933127 @default.
- W4379933127 hasPrimaryLocation W43799331271 @default.
- W4379933127 hasRelatedWork W1977450663 @default.
- W4379933127 hasRelatedWork W2124465085 @default.
- W4379933127 hasRelatedWork W2369480152 @default.
- W4379933127 hasRelatedWork W2799875051 @default.
- W4379933127 hasRelatedWork W2906851241 @default.
- W4379933127 hasRelatedWork W4284895070 @default.
- W4379933127 hasRelatedWork W4313410909 @default.
- W4379933127 hasRelatedWork W4315588679 @default.
- W4379933127 hasRelatedWork W2184734332 @default.
- W4379933127 hasRelatedWork W2609533384 @default.
- W4379933127 isParatext "false" @default.
- W4379933127 isRetracted "false" @default.
- W4379933127 workType "article" @default.