Semantics of systems of concurent processes LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings

Saved in:
Bibliographic Details
Corporate Authors: Laboratoire informatique theorique et programmation (France), Institut pour la recherche en informatique de Touloustee
Other Authors: Guessarian, Irene 1948-
Format: Unknown
Published: Berlin Springer-Verlag 1990
Series:Lecture notes in computer science 469
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Item Description:"The School was organized jointly by the LITP (Laboratoire dinformatique theorique et programmation, Paris) and IRIT (Institut pour la recherche en informatique de Toulouse)"--Foreword.
Physical Description:iv, 456 p. ill. 25 cm
Bibliography:Includes bibliographical references
ISBN:3540534792