Glossary

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

A

AWT

The Abstract Window Toolkit is the library provided by the Java language to generate graphical user interfaces independent from the Operating System used to run the application.

B

C

CSP

Communicating Sequential Processes is a mathematical theory for describing Parallel applications developed by C.A.R.Hoare. It is possible to prove correctness of programs described using CSP.

D

E

F

G

H

I

J

K

L

M

N

O

occam

The occam language was designed to implement the CSP model for the Transputer processor.

P

Q

R

S

T

Threads

Threads are the method using by the Java language to allow more than one part of program to be executed at the same time.

U

V

W

WoTUG

The World occam and Transputer User Group was formed to encourage the use and development of parallel software and hardware, particularly using Transputers and the occam language. More information can be found at http://www.hensa.ac.uk/parallel/groups/wotug/.

X

Y

Z