Formal Specification of Multicomputers.

José A. Gallud

Published in: PARA (1995)

Keyphrases

formal specification
specification language
object oriented design
specification languages
model checking
reverse engineering
process algebra
formal methods
data abstraction
concurrent systems
distributed memory
high level
model checker