Von dem Buch NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 (Workshops in Computing) haben wir 3 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Herausgegeben von Purushothaman, S. Zwarico, Amy: NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 (Workshops in Computing) (ISBN: 9783540198222) in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
60%: S. Purushothaman, Amy Zwarico (Editor): Napaw 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, Usa, 28 August 1992 (Workshops in Computing) (ISBN: 9780387198224) 1993, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
51%: S. Purushothaman; Amy Zwarico: NAPAW 92 : Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 (ISBN: 9781447132172) 1992, in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 (Workshops in Computing)
13 Angebote vergleichen
| Preise | 2013 | 2014 | 2015 |
|---|---|---|---|
| Schnitt | € 84,39 | € 81,87 | € 95,42 |
| Nachfrage |
1
Napaw 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, Usa, 28 August 1992 (Workshops in Computing) (1993)
EN PB NWISBN: 9780387198224 bzw. 0387198229, in Englisch, Springer-Verlag, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, DelhiBookStore.
This proceedings contains fourteen papers on process algebras presented at the First North American Process Algebra Workshop, held on 28 August 1992 in Stony Brook, New York. NAPAW was held in conjunc tion with CONCUR 92. It is hoped that NAPAW will be held yearly to bring together researchers from the North American continent interested in process algebras. We would like to thank the program committee members for reading through the abstracts, and Scott Smolka whose encouragement and assistance was critical to the success of the workshop. November 1992 S. Purushothaman University Park, PA Amy Zwarico Baltimore, MD Program Committee Rance Cleaveland, North Carolina State University Richard Gerber, University of Maryland at College Park Faron Moller, University of Edinburgh S. Purushothaman, Pennsylvania State University Amy Zwarico, Johns Hopkins University Contents Session 1 Real-Time Calculi and Expansion Theorems (Extended Abstract) J. C. Godskesen and K. G. Larsen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Modal Logics in Timed Process Algebras L. Brim . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 Process Communication Environment D. P. Gruska andA. Maggiolo-Schettini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 Session 2 A Process Calculus with Incomparable Priorities H. Hansson and F. Orava . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities P. Bremond-Gregoire, S. Davidson and I. Lee . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65 Exception Handling in Process Algebra F. S. de Boer, J. Coenen and R. Gerth . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86 Session 3 Observation Trees (Extended Abstract) P. Degano, R. De Nicola and U. Montanari. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103 Computing Ready Simulations Efficiently B. Bloom and R. Paige . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119 Verification of Value-Passing Systems Z. Schreiber . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1993-02, Studio: Springer-Verlag, Verkaufsrang: 17406019.
Von Händler/Antiquariat, DelhiBookStore.
This proceedings contains fourteen papers on process algebras presented at the First North American Process Algebra Workshop, held on 28 August 1992 in Stony Brook, New York. NAPAW was held in conjunc tion with CONCUR 92. It is hoped that NAPAW will be held yearly to bring together researchers from the North American continent interested in process algebras. We would like to thank the program committee members for reading through the abstracts, and Scott Smolka whose encouragement and assistance was critical to the success of the workshop. November 1992 S. Purushothaman University Park, PA Amy Zwarico Baltimore, MD Program Committee Rance Cleaveland, North Carolina State University Richard Gerber, University of Maryland at College Park Faron Moller, University of Edinburgh S. Purushothaman, Pennsylvania State University Amy Zwarico, Johns Hopkins University Contents Session 1 Real-Time Calculi and Expansion Theorems (Extended Abstract) J. C. Godskesen and K. G. Larsen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Modal Logics in Timed Process Algebras L. Brim . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 Process Communication Environment D. P. Gruska andA. Maggiolo-Schettini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 Session 2 A Process Calculus with Incomparable Priorities H. Hansson and F. Orava . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities P. Bremond-Gregoire, S. Davidson and I. Lee . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65 Exception Handling in Process Algebra F. S. de Boer, J. Coenen and R. Gerth . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86 Session 3 Observation Trees (Extended Abstract) P. Degano, R. De Nicola and U. Montanari. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103 Computing Ready Simulations Efficiently B. Bloom and R. Paige . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119 Verification of Value-Passing Systems Z. Schreiber . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1993-02, Studio: Springer-Verlag, Verkaufsrang: 17406019.
2
NAPAW 92
DE PB NWISBN: 9783540198222 bzw. 3540198229, in Deutsch, Springer, Berlin Springer, London, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
This proceedings contains fourteen papers on process algebras presented at the First North American Process Algebra Workshop, held on 28 August 1992 in Stony Brook, New York. NAPAW was held in conjunc tion with CONCUR 92. It is hoped that NAPAW will be held yearly to bring together researchers from the North American continent interested in process algebras. We would like to thank the program committee members for reading through the abstracts, and Scott Smolka whose encouragement and assistance was critical to the success of the workshop. November 1992 S. Purushothaman University Park, PA Amy Zwarico Baltimore, MD Program Committee Rance Cleaveland, North Carolina State University Richard Gerber, University of Maryland at College Park Faron Moller, University of Edinburgh S. Purushothaman, Pennsylvania State University Amy Zwarico, Johns Hopkins University Contents Session 1 Real-Time Calculi and Expansion Theorems (Extended Abstract) J. C. Godskesen and K. G. Larsen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Modal Logics in Timed Process Algebras L. Brim . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 Process Communication Environment D. P. Gruska andA. Maggiolo-Schettini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 Session 2 A Process Calculus with Incomparable Priorities H. Hansson and F. Orava . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities P. Bremond-Gregoire, S. Davidson and I. Lee . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65 Exception Handling in Process Algebra F. S. de Boer, J. Coenen and R. Gerth . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86 Session 3 Observation Trees (Extended Abstract) P. Degano, R. De Nicola and U. Montanari. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103 Computing Ready Simulations Efficiently B. Bloom and R. Paige . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119 Verification of Value-Passing Systems Z. Schreiber . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Softcover reprint of the original 1st ed. 1993. 1993. viii, 243 S. VIII, 241 pp. 235 mmVersandfertig in 3-5 Tagen, Softcover.
buecher.de GmbH & Co. KG, [1].
This proceedings contains fourteen papers on process algebras presented at the First North American Process Algebra Workshop, held on 28 August 1992 in Stony Brook, New York. NAPAW was held in conjunc tion with CONCUR 92. It is hoped that NAPAW will be held yearly to bring together researchers from the North American continent interested in process algebras. We would like to thank the program committee members for reading through the abstracts, and Scott Smolka whose encouragement and assistance was critical to the success of the workshop. November 1992 S. Purushothaman University Park, PA Amy Zwarico Baltimore, MD Program Committee Rance Cleaveland, North Carolina State University Richard Gerber, University of Maryland at College Park Faron Moller, University of Edinburgh S. Purushothaman, Pennsylvania State University Amy Zwarico, Johns Hopkins University Contents Session 1 Real-Time Calculi and Expansion Theorems (Extended Abstract) J. C. Godskesen and K. G. Larsen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Modal Logics in Timed Process Algebras L. Brim . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 Process Communication Environment D. P. Gruska andA. Maggiolo-Schettini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 Session 2 A Process Calculus with Incomparable Priorities H. Hansson and F. Orava . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities P. Bremond-Gregoire, S. Davidson and I. Lee . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65 Exception Handling in Process Algebra F. S. de Boer, J. Coenen and R. Gerth . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86 Session 3 Observation Trees (Extended Abstract) P. Degano, R. De Nicola and U. Montanari. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103 Computing Ready Simulations Efficiently B. Bloom and R. Paige . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119 Verification of Value-Passing Systems Z. Schreiber . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Softcover reprint of the original 1st ed. 1993. 1993. viii, 243 S. VIII, 241 pp. 235 mmVersandfertig in 3-5 Tagen, Softcover.
4
Symbolbild
Napaw 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, Usa, 28 August 1992 (Workshops in Computing) (1993)
EN PBISBN: 9780387198224 bzw. 0387198229, in Englisch, Springer-Verlag, Taschenbuch.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, Ergodebooks.
Springer-Verlag, 1993-02-01. Paperback. Used:Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service.
Von Händler/Antiquariat, Ergodebooks.
Springer-Verlag, 1993-02-01. Paperback. Used:Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service.
5
Symbolbild
Napaw 92: Proceedings Of The First North American Process Algebra Workshop, Stony Brook, New York, Usa, 28 August 1992 (1993)
EN PB USISBN: 9780387198224 bzw. 0387198229, in Englisch, Springer-verlag, Taschenbuch, gebraucht.
Lieferung aus: Indien, Versandkosten nach: USA.
Von Händler/Antiquariat, DELHI BOOK STORE.
Springer-verlag, 1993. 2nd. Paperback. Like New/Like New.
Von Händler/Antiquariat, DELHI BOOK STORE.
Springer-verlag, 1993. 2nd. Paperback. Like New/Like New.
6
Fine Chinese Ceramics and Works of Art: New York: June 1 and 2, 1993 (1993)
DE PB USISBN: 9783540198222 bzw. 3540198229, in Deutsch, Sotheby's, Taschenbuch, gebraucht.
Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, Skoob Online.
Taschenbuch, Label: Sotheby's, Sotheby's, Produktgruppe: Book, Publiziert: 1993, Studio: Sotheby'S.
Von Händler/Antiquariat, Skoob Online.
Taschenbuch, Label: Sotheby's, Sotheby's, Produktgruppe: Book, Publiziert: 1993, Studio: Sotheby'S.
7
Napaw 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 (2015)
DE PB NWISBN: 9783540198222 bzw. 3540198229, in Deutsch, SPRINGER VERLAG GMBH 01/06/2015, Taschenbuch, neu.
Von Händler/Antiquariat, Books2Anywhere [190245], Swindon, United Kingdom.
New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. This item is printed on demand.
New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. This item is printed on demand.
8
Napaw 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 (2015)
DE PB NWISBN: 9783540198222 bzw. 3540198229, in Deutsch, SPRINGER VERLAG GMBH 01/06/2015, Taschenbuch, neu.
Von Händler/Antiquariat, Paperbackshop-US [8408184], Secaucus, NJ, U.S.A.
New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. This item is printed on demand.
New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. This item is printed on demand.
9
NAPAW '92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, NY, 28 August 1992
EN PB NWISBN: 9780387198224 bzw. 0387198229, in Englisch, Springer-Verlag New York, LLC, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
10
Symbolbild
Napaw 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 (1993)
EN PB NWISBN: 9780387198224 bzw. 0387198229, in Englisch, Springer, London, England, Taschenbuch, neu.
Lieferung aus: Indien, zzgl. Versandkosten, Verandgebiet: INT.
Von Händler/Antiquariat, DELHI BOOK STORE, DELHI, NEW DELHI, [RE:4].
Trade paperback.
Von Händler/Antiquariat, DELHI BOOK STORE, DELHI, NEW DELHI, [RE:4].
Trade paperback.
Lade…