C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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