| Document Type
|
:
|
BL
|
| Record Number
|
:
|
733795
|
| Doc. No
|
:
|
b553617
|
| Main Entry
|
:
|
by J.C.M. Baeten, C.A. Middelburg.
|
| Title & Author
|
:
|
Process algebra with timing\ by J.C.M. Baeten, C.A. Middelburg.
|
| Publication Statement
|
:
|
Berlin ; London: Springer, 2011
|
| Series Statement
|
:
|
Monographs in theoretical computer science
|
| Page. NO
|
:
|
1 volume ; 24 cm.
|
| ISBN
|
:
|
3642077889
|
|
|
:
|
: 9783642077883
|
| Notes
|
:
|
Originally published: 2002.
|
| Contents
|
:
|
1. No Timing.- 2. Discrete Relative Timing.- 3. Discrete Absolute Timing.- 4. Continuous Relative Timing.- 5. Continuous Absolute Timing.- 6. Abstraction.- 7. Features.- A.1 Elimination.- A.2 Soundness.- A.3 Completeness.- B. Background Material.- B.1 Basic Equational Logic and SOS Theory.- B.1.1 Equational Logic.- B.1.2 SOS Theory.- B.2 Some Further Topics.- B.2.1 TSSs with Negative Premises.- B.2.2 Variable Binding Operators.- B.2.3 Conservativity and Completeness.- B.2.4 Generalizations.- B.2.5 Given Sorts and Parametrization.- B.3 Non-negative Real Numbers.- References.
|
| Subject
|
:
|
Computer science -- Mathematics.
|
| Subject
|
:
|
Discrete-time systems.
|
| Subject
|
:
|
System design.
|
| LC Classification
|
:
|
QA76.9.S88B953 2011
|
| Added Entry
|
:
|
Cornelis A Middelburg
|
|
|
:
|
J C M Baeten
|