Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Normal view MARC view ISBD view

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

By: Zwiers J.
Material type: TextTextSeries: Lecture notes in computer science, 321. Publisher: Berlin Springer Verlag 1989Description: vi,272p.Subject(s): Networks | Proof theoriesDDC classification: 005.3
Tags from this library: No tags from this library for this title. Log in to add tags.
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in


Visitor Counter