Modeling the dynamics of concurrent computing systems

DOI10.1016/j.camwa.2011.01.008zbMath1217.68150OpenAlexW2077057934MaRDI QIDQ552319

Fernando López Pelayo, Juan Luis García Guirao, J. C. Valverde Fajardo

Publication date: 21 July 2011

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.camwa.2011.01.008

zbMATH Keywords

Petri netsdiscrete dynamical systemsmathematical modelsformal computing science

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Dynamical aspects of cellular automata (37B15)

Related Items

A discrete dynamical model of signed partitions ⋮ Parallel and sequential dynamics of two discrete models of signed integer partitions ⋮ Fixed points in generalized parallel and sequential dynamical systems induced by a minterm or maxterm Boolean functions ⋮ Dominance order on signed integer partitions ⋮ On some numbers related to extremal combinatorial sum problems ⋮ Module-based architecture for a periodic job-shop scheduling problem ⋮ Notes on ``Modeling the dynamics of concurrent computing systems ⋮ Parallel dynamical systems over graphs and related topics: a survey

Cites Work

• A theorem of Sarkovskii on the existence of periodic orbits of continuous endomorphisms of the real line
• Bifurcations of one- and two-dimensional maps
• Denotational semantics for programming languages, balanced quasi-metrics and fixed points
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item