Volume 127; Issue 2

Information and Computation

Volume 127; Issue 2
1

Dedication

Journal:
Information and Computation
Year:
1996
File:
PDF, 89 KB
1996
2

Editor's Foreword

Moshe Y. Vardi
Journal:
Information and Computation
Year:
1996
File:
PDF, 100 KB
1996
3

In Memoriam: Paris C. Kanellakis (1953–1995)

Journal:
Information and Computation
Year:
1996
Language:
english
File:
PDF, 103 KB
english, 1996
4

Relational Properties of Domains

Andrew M. Pitts
Journal:
Information and Computation
Year:
1996
Language:
english
File:
PDF, 1.15 MB
english, 1996
5

Verifying Programs with Unreliable Channels

Parosh Aziz Abdulla, Bengt Jonsson
Journal:
Information and Computation
Year:
1996
Language:
english
File:
PDF, 482 KB
english, 1996
6

Standard ML–NJ Weak Polymorphism and Imperative Constructs

John Mitchell, Ramesh Viswanathan
Journal:
Information and Computation
Year:
1996
Language:
english
File:
PDF, 824 KB
english, 1996
8

Full Abstraction for a Shared-Variable Parallel Language

Stephen Brookes
Journal:
Information and Computation
Year:
1996
Language:
english
File:
PDF, 1.03 MB
english, 1996
9

Bisimulation from Open Maps

André Joyal, Mogens Nielsen, Glynn Winskel
Journal:
Information and Computation
Year:
1996
Language:
english
File:
PDF, 778 KB
english, 1996
10

A Coinduction Principle for Recursive Data Types Based on Bisimulation

Marcelo P. Fiore
Journal:
Information and Computation
Year:
1996
Language:
english
File:
PDF, 761 KB
english, 1996
11

Author Index for Volume 127

Journal:
Information and Computation
Year:
1996
File:
PDF, 100 KB
1996