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

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)

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)