9783540572084 - concur'93: 4th international conference on concurrency theory, hildesheim, germany, august 23-26, 1993. proceedings (lecture notes in computer science, 715, band 715) von best, eike (2 Ergebnisse)
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,06
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 64,19 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of CONCUR '93, thefourth in an annual series of conferences devoted to thestudy of concurrency. The basic aim of the CONCURconferences is to communicate advances in concurrency theoryand applications.The volume co…ntains 31 papers selected from 113submissions,together with four invited papers and two abstracts ofinvited talks. The invited talks are: 'The lambda-calculuswith multiplicities' (extended abstract) by G rard Boudol,'A pi-calculus semantics for an object-based designnotation' by Cliff B. Jones, 'Partial-order methods fortemporal verification' by Pierre Wolper and PatriceGodefroid, 'Non-interleaving process algebra' by Jos C.M.Baetenand Jan A. Bergstra, 'Loop parallelization in thepolytope model' by Christian Lengauer, and 'Structuredoperational semantics for process algebras and equationalaxiom systems' (abstract) by Bard Bloom.
