SOS specifications for uniformly continuous operators.

Daniel Gebler Simone Tini

Published in: J. Comput. Syst. Sci. (2018)

Keyphrases

delay insensitive
high level
specification language
data structure
formal specification
real time
web services
optimal solution
morphological operators