Algebraic Specification

1998 ◽  
pp. 171-217
Author(s):  
V. S. Alagar ◽  
K. Periyasamy
Keyword(s):  
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

Modular algebraic specification of some basic geometrical constructions

1988 ◽  
Vol 37 (1-3) ◽  
pp. 123-153 ◽  
Author(s):  
Joseph A. Goguen
Keyword(s):  
Algebraic Specification

scholarly journals Proof method for correctness of refinements of algebraic specification in abstract sequential machine style

1996 ◽  
Vol 27 (5) ◽  
pp. 25-38
Author(s):  
Kozo Okano ◽  
Teruo Higashino ◽  
Kenichi Taniguchi
Keyword(s):  
Sequential Machine ◽  
Algebraic Specification

Algebraic Specification of Dynamic Leader Election Protocols in Broadcast Networks

1995 ◽  
pp. 338-357
Author(s):  
Jacob Brunekreef ◽  
Joost-Pieter Katoen ◽  
Ron Koymans ◽  
Sjouke Mauw
Keyword(s):  
Leader Election ◽  
Algebraic Specification ◽  
Broadcast Networks
Sign in / Sign up

Export Citation Format

Share Document