Full Abstraction for a Shared-Variable Parallel Language (English)
- New search for: Brookes, Stephen
- New search for: Brookes, Stephen
In:
Information and computation
;
127
, 2
; 145-163
;
1996
-
ISSN:
- Article (Journal) / Print
-
Title:Full Abstraction for a Shared-Variable Parallel Language
-
Contributors:Brookes, Stephen ( author )
-
Published in:Information and computation ; 127, 2 ; 145-163
-
Publisher:
- New search for: Elsevier
-
Place of publication:Amsterdam
-
Publication date:1996
-
ISSN:
-
ZDBID:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 31.80 / 54.00 / 54.00 / 31.80
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
Table of contents – Volume 127, Issue 2
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 63
-
Dedication| 1996
- 64
-
Editor's ForewordVardi, Moshe Y. et al. | 1996
- 65
-
In Memoriam: Paris C. Kanellakis (1953-1995)| 1996
- 66
-
Relational Properties of DomainsPitts, Andrew M. et al. | 1996
- 91
-
Verifying Programs with Unreliable ChannelsAziz Abdulla, Parosh et al. | 1996
- 102
-
Standard ML-NJ Weak Polymorphism and Imperative ConstructsMitchell, John et al. | 1996
- 117
-
Database Query Languages Embedded in the Typed Lambda CalculusHillebrand, Gerd G. et al. | 1996
- 145
-
Full Abstraction for a Shared-Variable Parallel LanguageBrookes, Stephen et al. | 1996
- 164
-
Bisimulation from Open MapsJoyal, Andre et al. | 1996
- 186
-
A Coinduction Principle for Recursive Data Types Based on BisimulationFiore, Marcelo P. et al. | 1996
- 199
-
AUTHOR INDEX FOR VOLUME 127| 1996