Finite interval-time transition system for real-time actors

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

Authors: Shaghayegh Tavassoli, Ramtin Khosravi, Ehsan Khamespanah 

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)

Cites Work

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

Uses Software

• Timed Rebeca

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

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