Timing is all you need

DOI10.1007/978-3-031-73887-6_18MaRDI QIDQ7007847zbMATH OpenFDO

Authors Susanne Graf, Bengt Jonsson, Behnam Khodabandeloo, Chengzi Huang, Nikolaus Huber, Philipp Rümmer, Wang Yi

Publication date 25 March 2025

Full work available at URL https://doi.org/10.1007/978-3-031-73887-6_18

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• A generalization of Naundorf's fixpoint theorem
• Actors without Directors: A Kahnian View of Heterogeneous Systems
• CPO semantics of timed interactive actor networks
• scientific article; zbMATH DE number 3956423 (Why is no real title available?)
• scientific article; zbMATH DE number 4050970 (Why is no real title available?)
• scientific article; zbMATH DE number 3469994 (Why is no real title available?)
• scientific article; zbMATH DE number 1956639 (Why is no real title available?)
• scientific article; zbMATH DE number 6765508 (Why is no real title available?)
• Modeling Timed Concurrent Systems
• On fixed points of strictly causal functions
• Strictly causal functions have a unique fixed point
• The denotational semantics of programming languages
• The fixed-point theory of strictly causal functions
• Toward an algebraic theory of systems

This page was built for publication: Timing is all you need

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