53

Automatic verification of distributed systems: The process algebra approach

Year:
1996
Language:
english
File:
PDF, 1.83 MB
english, 1996
54

Proving finiteness of CCS processes by non-standard semantics

Year:
1994
Language:
english
File:
PDF, 1.30 MB
english, 1994
55

An “executable” impredicative semantics for the Ada configuration

Year:
1993
Language:
english
File:
PDF, 1.53 MB
english, 1993
70

Software Architectures and Coordination Models

Year:
2003
Language:
english
File:
PDF, 96 KB
english, 2003
74

Experimenting with dynamic linking with ADA

Year:
1993
Language:
english
File:
PDF, 853 KB
english, 1993
77

Treatment of meningeal leukemia with high-dose ARA-C (HiDAC)

Year:
1986
Language:
english
File:
PDF, 92 KB
english, 1986