Synthesizing Locally Symmetric Parameterized Protocols from Temporal Specifications.

Ruoxi Zhang Richard J. Trefler Kedar S. Namjoshi

Published in: FMCAD (2022)

Keyphrases

temporal databases
spatio temporal
temporal constraints
spatial and temporal
temporal reasoning
temporal data
temporal information
temporal relations
temporal dimension
communication protocols
state machines
space time
database
functional requirements
temporal evolution
temporal consistency
delay insensitive