Modeling the dynamics of concurrent computing systems

DOI10.1016/J.CAMWA.2011.01.008MaRDI QIDQ552319zbMATH OpenOpenAlexFDO

Authors Juan L. G. Guirao, Fernando López Pelayo, Jose C. Valverde

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

discrete dynamical systemsformal computing sciencemathematical modelsPetri nets

Mathematics Subject Classification ID

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

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
• scientific article; zbMATH DE number 44611 (Why is no real title available?)
• scientific article; zbMATH DE number 47028 (Why is no real title available?)
• scientific article; zbMATH DE number 1107487 (Why is no real title available?)
• scientific article; zbMATH DE number 194875 (Why is no real title available?)

Cited in

(13)

• Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms
• Parallel and sequential dynamics of two discrete models of signed integer partitions
• Dominance order on signed integer partitions
• On some numbers related to extremal combinatorial sum problems
• Parallel dynamical systems over graphs and related topics: a survey
• A discrete dynamical model of signed partitions
• Fixed points in generalized parallel and sequential dynamical systems induced by a minterm or maxterm Boolean functions
• scientific article; zbMATH DE number 3874592 (Why is no real title available?)
• Modelling of a multiprocessor system in a randomly changing environment
• Module-based architecture for a periodic job-shop scheduling problem
• Notes on ``Modeling the dynamics of concurrent computing systems
• Models of central capacity and concurrency
• Geometric analysis of nondeterminacy in dynamical systems

This page was built for publication: Modeling the dynamics of concurrent computing systems

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