A formal specification scheme for network diagrams that facilitates automated design.

Published in: J. Vis. Lang. Comput. (1991)

Keyphrases

formal specification
automated design
model checking
formal methods
specification languages
engineering design
reverse engineering
object oriented design
evolutionary design
concurrent systems
process algebra
cooperative
peer to peer
artificial intelligence
security protocols
protocol specification