Synchronization primitives for a multiprocessor: a formal specification

1987 ◽  
Author(s):  
A. Birrell ◽  
J. Guttag ◽  
J. Horning ◽  
R. Levin
Keyword(s):  
Formal Specification ◽  
Synchronization Primitives

Synchronization primitives for a multiprocessor: a formal specification

1987 ◽  
Vol 21 (5) ◽  
pp. 94-102 ◽  
Author(s):  
A. Birrell ◽  
J. Guttag ◽  
J. Horning ◽  
R. Levin
Keyword(s):  
Formal Specification ◽  
Synchronization Primitives

Formal Specification and Design

1992 ◽  
Author(s):  
L. M. G. Feijs ◽  
H. B. M. Jonkers
Keyword(s):  
Formal Specification

An environment for Ada software development based on formal specification

1987 ◽  
Vol VII (3) ◽  
pp. 94-106 ◽  
Author(s):  
D C Luckham ◽  
R Neff ◽  
D S Rosenblum
Keyword(s):  
Software Development ◽  
Formal Specification
Sign in / Sign up

Export Citation Format

Share Document