Research Catalog

Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship

Title: Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship / J. Zwiers.
Author: Zwiers, J. (Job), 1956-
Publication: Berlin ; New York : Springer-Verlag, c1989.

Filter by

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 89-168	Offsite

Description

272 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science ; 321

Subjects

Bibliography (note)

Call Number

JSE 89-168

ISBN

0387508457 (U.S.)

LCCN

89004329

OCLC

NYPG89-B50426

Author

Zwiers, J. (Job), 1956-

Title

Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship / J. Zwiers.

Imprint

Berlin ; New York : Springer-Verlag, c1989.

Series

Lecture notes in computer science ; 321

Bibliography

Bibliography: p. 266-272.

Research Call Number

JSE 89-168