Finite interval-time transition system for real-time actors

DOI10.1007/978-3-030-57852-7_7OpenAlexW3082730408MaRDI QIDQ1997268

Ehsan Khamespanah, Shaghayegh Tavassoli, Ramtin Khosravi

Publication date: 1 March 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-57852-7_7

zbMATH Keywords

bisimulation relationactor modelinterval-time transition systemTimed-Rebeca

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Theory of computing (68Qxx)

Uses Software

• Timed Rebeca

Cites Work

• Overdrive: making SPDZ great again
• An algebraic approach to maliciously secure private set intersection
• Maliciously secure oblivious linear function evaluation with constant overhead
• Fully homomorphic SIMD operations
• Oblivious transfer and polynomial evaluation
• Lattice Signatures without Trapdoors
• Secure Arithmetic Computation with No Honest Majority
• A Toolkit for Ring-LWE Cryptography
• On lattices, learning with errors, random linear codes, and cryptography

This page was built for publication: Finite interval-time transition system for real-time actors