On time actors

DOI10.1007/978-3-319-30734-3_25zbMath1475.68213OpenAlexW2442514026MaRDI QIDQ2026808

Ehsan Khamespanah, Marjan Sirjani

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)

Related Items (1)

Unnamed Item

Uses Software

• Uppaal
• Rebeca
• Timed Rebeca

This page was built for publication: On time actors