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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
| Serija: | Workshops in Computing |
| Leidėjas: | Springer Berlin Heidelberg |
| Išleidimo metai: | 1993 |
| Knygos puslapių skaičius: | 252 |
| ISBN-10: | 3540198229 |
| ISBN-13: | 9783540198222 |
| Formatas: | Knyga minkštu viršeliu |
| Kalba: | Anglų |
| Žanras: | Software Engineering |
Parašykite atsiliepimą apie „NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992“
