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

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	Laboratoire d'informatique théorique et programmation (BerichterstatterIn), Spring School on Theoretical Computer Science (BerichterstatterIn)
Weitere Verfasser:	Guessarian, Irène (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 1990
Schriftenreihe:	Lecture notes in computer science 469
Schlagworte:	Parallel programming (Computer science) > Congresses > Semantics > Mathematical Logic and Formal Languages > Computer Science > Mathematical Logic and Foundations > Processor Architectures > Logics and Meanings of Programs > Operating Systems > Database Management > Konferenzschrift > Nebenläufigkeit > Semantik
Online Zugang:	Cover Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!