On time actors

DOI10.1007/978-3-319-30734-3_25MaRDI QIDQ2026808zbMATH OpenOpenAlexFDO

Authors Marjan Sirjani, Ehsan Khamespanah

Publication date 20 May 2021

Full work available at URL https://doi.org/10.1007/978-3-319-30734-3_25

zbMATH Keywords

verificationreduction techniqueactor modelfloating-time transition systemTimed Rebeca

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Time analysis of actor programs
• scientific article; zbMATH DE number 2182600
• Compositional schedulability analysis of real-time actor-based systems
• The earlier the better: a theory of timed actor interfaces
• scientific article; zbMATH DE number 2084776

Cited in

(6)

• CRYSTAL framework: cybersecurity assurance for cyber-physical systems
• scientific article; zbMATH DE number 7566069 (Why is no real title available?)
• scientific article; zbMATH DE number 2182600 (Why is no real title available?)
• Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca
• Time analysis of actor programs
• Coordinating asynchronous and open distributed systems under semiring-based timing constraints

Describes a project that uses

Uses Software

• Timed Rebeca
• Rebeca
• Uppaal

This page was built for publication: On time actors

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