Volume 21; Issue 2

Sadhana

Volume 21; Issue 2
1

Foreword

R K Shyamasundar
Journal:
Sadhana
Year:
1996
Language:
english
File:
PDF, 59 KB
english, 1996
2

A graphic language based on timing diagrams

Christian Antoine, Bernard Le Goff, Jean-Eric Pin
Journal:
Sadhana
Year:
1996
Language:
english
File:
PDF, 1.24 MB
english, 1996
3

A real-time interval logic and its decision procedure

Y S Ramakrishna, L K Dillon, L E Moser, P M Melliar-Smith, G Kutty
Journal:
Sadhana
Year:
1996
Language:
english
File:
PDF, 2.15 MB
english, 1996
4

Validation and analysis of the futurebus arbitration protocol: A case study

F Boussinot, S Ramesh, RK Shyamasundar, R De Simone
Journal:
Sadhana
Year:
1996
Language:
english
File:
PDF, 1.15 MB
english, 1996
5

Converting a büchi alternating automaton to a usual nondeterministic one

Amar Isli
Journal:
Sadhana
Year:
1996
Language:
english
File:
PDF, 740 KB
english, 1996
6

Reuse of proofs in software verification

Wolfgang Reif, Kurt Stenzel
Journal:
Sadhana
Year:
1996
Language:
english
File:
PDF, 901 KB
english, 1996
7

Weak atomicity: A helpful notion in the construction of atomic shared variables

K Vidyasankar
Journal:
Sadhana
Year:
1996
Language:
english
File:
PDF, 808 KB
english, 1996