Algebraic specification of interconnection network relationships by permutation voltage graph mappings

1996 ◽  
Vol 29 (5) ◽  
pp. 451-470 ◽  
Author(s):  
J. L. Gross ◽  
Jianer Chen
Keyword(s):  
Interconnection Network ◽  
Algebraic Specification

A note on algebraic specification of binary trees

1980 ◽  
Vol 15 (6) ◽  
pp. 64-67 ◽  
Author(s):  
Abha Moitra
Keyword(s):  
Binary Trees ◽  
Algebraic Specification

The algebraic specification of abstract data types

1978 ◽  
Vol 10 (1) ◽  
Author(s):  
J.V. Guttag ◽  
J.J. Horning
Keyword(s):  
Algebraic Specification ◽  
Abstract Data Types ◽  
Data Types ◽  
Abstract Data
Sign in / Sign up

Export Citation Format

Share Document