Stochastically timed predicate-based communication primitives for autonomic computing

DOI10.4204/EPTCS.154.1MaRDI QIDQ7032036zbMATH OpenFDO

Authors Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni

Publication date 5 February 2025

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.4204/EPTCS.154.1

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Cites work

• A process calculus for mobile ad hoc networks
• A uniform definition of stochastic process calculi
• Comparing the expressive power of the synchronous and asynchronous \(\pi\)-calculi
• Fluid model checking
• Rate-Based Transition Systems for Stochastic Process Calculi
• Software-intensive systems and new computing paradigms. Challenges and visions
• Stochastically timed predicate-based communication primitives for autonomic computing
• The how and why of interactive Markov chains
• Towards a calculus for wireless systems

Cited in

(3)

• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond
• CARMA: collective adaptive resource-sharing Markovian agents
• Stochastically timed predicate-based communication primitives for autonomic computing

This page was built for publication: Stochastically timed predicate-based communication primitives for autonomic computing

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