Search

Your search keyword '"Takahiro Sanada"' showing total 1 results
Start Over Author "Takahiro Sanada" Database OAIster
1 results on '"Takahiro Sanada"'

1. Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas)

Author

Koko Muroya and Takahiro Sanada and Natsuki Urabe, Muroya, Koko, Sanada, Takahiro, Urabe, Natsuki, Koko Muroya and Takahiro Sanada and Natsuki Urabe, Muroya, Koko, Sanada, Takahiro, and Urabe, Natsuki

Abstract

We describe our ongoing work on generalizing some quantitatively constrained notions of weak simulation up-to that are recently introduced for deterministic systems modeling program execution. We present and discuss a new notion dubbed preorder-constrained simulation that allows comparison between words using a preorder, instead of equality.

Published
2021
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results