Verifying programs with unreliable channels (English)
- New search for: Aziz Abdulla, P.
- New search for: Jonsson, B.
- New search for: Aziz Abdulla, P.
- New search for: Jonsson, B.
In:
Information and Computation
;
127
, 2
;
91-101
;
1996
-
ISSN:
- Article (Journal) / Print
-
Title:Verifying programs with unreliable channels
-
Additional title:Programmverifikation mit unsicheren Kanälen
-
Contributors:Aziz Abdulla, P. ( author ) / Jonsson, B. ( author )
-
Published in:Information and Computation ; 127, 2 ; 91-101
-
Publisher:
-
Publication date:1996
-
Size:11 Seiten, 26 Quellen
-
ISSN:
-
Coden:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
-
Keywords:
-
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