Finite interval-time transition system for real-time actors

DOI10.1007/978-3-030-57852-7_7MaRDI QIDQ1997268zbMATH OpenOpenAlexFDO

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

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

Describes a project that uses

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)