Fractals from regular behaviours

DOI10.46298/LMCS-21(2:25)2025MaRDI QIDQ6960749zbMATH OpenFDO

Authors Victoria Noquez, Lawrence S. Moss

Publication date 11 July 2025

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-21(2:25)2025

zbMATH Keywords

completenessequational logicfinal coalgebrafixed-point termsfractallabelled transition system

Mathematics Subject Classification ID

Fractals (28A80) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• (In)finite trace equivalence of probabilistic transition systems
• A brief history of process algebra
• A complete inference system for a class of regular behaviours
• A general theory of self-similarity
• An ergodic theorem for iterated maps
• Attractors of directed graph IFSs that are not standard IFS attractors and their Hausdorff measure
• Attractors of generalized IFSs that are not attractors of IFSs
• Bisimulation through probabilistic testing
• Coalgebraic trace semantics for continuous probabilistic transition systems
• Coalgebras of bounded type
• Communicating sequential processes
• Complete axiomatization for the total variation distance of Markov chains
• Enhanced coalgebraic bisimulation
• Fractals from regular behaviours
• Generalized IFSs on noncompact spaces
• Handbook of process algebra
• Hausdorff Dimension in Graph Directed Constructions
• Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday
• scientific article; zbMATH DE number 5572668 (Why is no real title available?)
• scientific article; zbMATH DE number 3964277 (Why is no real title available?)
• scientific article; zbMATH DE number 3969805 (Why is no real title available?)
• scientific article; zbMATH DE number 47345 (Why is no real title available?)
• scientific article; zbMATH DE number 194082 (Why is no real title available?)
• scientific article; zbMATH DE number 3585754 (Why is no real title available?)
• scientific article; zbMATH DE number 3600759 (Why is no real title available?)
• scientific article; zbMATH DE number 1324223 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 233974 (Why is no real title available?)
• scientific article; zbMATH DE number 5169461 (Why is no real title available?)
• Mathematical foundations of computer science 1978. Proceedings, 7th symposium Zakopane, Poland, September 4-8, 1978
• Multifractal Decompositions of Digraph Recursive Fractals
• Probabilistic systems coalgebraically: a survey
• Recursive coalgebras from comonads
• Solving polynomial fixed point equations
• Sound and complete axiomatization of trace semantics for probabilistic systems
• Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales.
• The category-theoretic solution of recursive program schemes
• The continuum as a final coalgebra
• The logic of recursive equations
• Universal coalgebra: A theory of systems

Cited in

(1)

• Fractals from regular behaviours

This page was built for publication: Fractals from regular behaviours

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