Models and axioms for a fragment of real time process algebra /
Bewaard in:
| OCLC: | 31625529 |
|---|---|
| Hoofdauteur: | |
| Coauteur: | |
| Taal: | English |
| Gepubliceerd in: |
Netherlands :
Technische Universiteit Eindhoven,
1993.
|
| Onderwerpen: | |
| Formaat: | Thesis Monograph Note that CRL will digitize material from the collection when copyright allows. |
| LEADER | 01507ctm a2200409Ia 45 0 | ||
|---|---|---|---|
| 001 | in00006268084 | ||
| 003 | OCoLC | ||
| 005 | 00010101120000.0 | ||
| 008 | 941207s1993 ne 000 0 eng d | ||
| 016 | 7 | |a B9422976 |2 bccb | |
| 029 | 1 | |a NLGGC |b 113559623 | |
| 035 | |a (OCoLC)31625529 | ||
| 040 | |a ESU |c ESU |d OCL |d OCLCQ |d NLGGC |d CRL | ||
| 049 | |a CRLL | ||
| 084 | |a 30.10 |2 bcl | ||
| 092 | |a 519.4 |b KLU | ||
| 099 | |a P-00458176 | ||
| 100 | 1 | |a Klusener, Anton Stefanus. | |
| 245 | 1 | 0 | |a Models and axioms for a fragment of real time process algebra / |c Anton Stefanus Klusener. |
| 264 | 1 | |a Netherlands : |b Technische Universiteit Eindhoven, |c 1993. | |
| 300 | |a x, 216 p. ; |c 24 cm. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a unmediated |b n |2 rdamedia. | ||
| 338 | |a volume |b nc |2 rdacarrier. | ||
| 500 | |a Vita. | ||
| 500 | |a Contains summary. | ||
| 502 | |b Doctoral |c Technische Universiteit Eindhoven |d 1993. | ||
| 504 | |a Includes bibliographical references (p. 210-215) | ||
| 650 | 0 | |a Real-time processing. | |
| 650 | 0 | |a Algebra. | |
| 650 | 1 | 7 | |a Procesalgebra. |2 gtt. |
| 710 | 2 | |a Technische Universiteit Eindhoven. | |
| 752 | |a Netherlands. | ||
| 907 | |a .b22274959 |b 02-14-22 |c 04-12-07 | ||
| 998 | |a diss |b 04-12-07 |c m |d - |e - |f eng |g ne |h 0 |i 1 | ||
| 999 | f | f | |i 88d03c47-e04b-525c-a1df-c519757219e3 |s 6d92ac52-9f8d-5ce6-8bad-f3b4d2f954bb |t 0 |