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

Bibliographic Details
Corporate Authors: Ecole de printemps d'informatique théorique La Roche-Posay, France, Laboratoire informatique théorique et programmation (France), Institut pour la recherche en informatique de Toulouse
Other Authors: Guessarian, Irène, 1948-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1990]
Series:Lecture notes in computer science ; 469.
Subjects:

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000cam a22000008a 4500
001 in00000970596
005 20150927114135.0
008 901119s1990 gw b 00010 eng
010 |a  90023980  
020 |a 3540534792 :  |c DM63.00 
020 |a 0387534792 
035 |a (OCoLC)22859790 
035 |9 AEW8223AM 
040 |a DLC  |c DLC  |d TXA  |d UtOrBLW 
049 |a TXAM 
050 0 0 |a QA76.58  |b .E26 1990 
082 0 0 |a 004/.35  |2 20 
111 2 |a Ecole de printemps d'informatique théorique  |d (1990 :  |c La Roche-Posay, France) 
245 1 0 |a Semantics of systems of concurrent processes :  |b LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings /  |c I. Guessarian (ed.). 
263 |a 9012 
264 1 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c [1990] 
264 4 |c ©1990 
300 |a iv, 456 pages :  |b illustrations  
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
490 1 |a Lecture notes in computer science ;  |v 469 
500 |a "The School was organized jointly by the LITP (Laboratoire dʼinformatique théorique et programmation, Paris) and IRIT (Institut pour la recherche en informatique de Toulouse)"--Foreword. 
504 |a Includes bibliographical references. 
650 0 |a Parallel processing (Electronic computers) 
650 0 |a Programming languages (Electronic computers)  |x Semantics. 
700 1 |a Guessarian, Irène,  |d 1948- 
710 2 |a Laboratoire informatique théorique et programmation (France) 
710 2 |a Institut pour la recherche en informatique de Toulouse. 
830 0 |a Lecture notes in computer science ;  |v 469. 
999 |a MARS 
999 f f |s 8790bc98-d991-3227-b8a4-e45eeb935834  |i 81da6b19-4a8d-39c5-9208-fc7c2564e0c0  |t 0 
952 f f |p ric  |a Texas A&M University  |b Rellis Campus  |c Joint Library Facility  |d Remote Storage  |t 0  |e QA76.58 .E26 1990  |h Library of Congress classification  |i unmediated -- volume  |m A14814092676 
998 f f |a QA76.58 .E26 1990  |t 0  |l Remote Storage