Login / Signup
"Constructive" and "Executable" Specifications of Protocol Services by using Abstract Data Types and Finite State Transducers.
Luigi Logrippo
Published in:
Protocol Specification, Testing, and Verification (1983)
Keyphrases
</>
abstract data types
formal specification
data types
finite state transducers
programming language
relational database systems
object oriented databases
data model
finite state
distance measure
machine translation
high level
database systems
hidden markov models
general purpose