Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:book
|
| gptkbp:editor |
gptkb:A._Ponse
gptkb:J.A._Bergstra gptkb:S.A._Smolka |
| gptkbp:format |
hardcover
|
| gptkbp:ISBN |
9780444828309
|
| gptkbp:language |
English
|
| gptkbp:pages |
1328
|
| gptkbp:publicationYear |
2001
|
| gptkbp:publisher |
gptkb:Elsevier
|
| gptkbp:subject |
gptkb:theoretical_computer_science
process algebra |
| gptkbp:bfsParent |
gptkb:J._A._Bergstra
gptkb:Jan_A._Bergstra |
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Handbook of Process Algebra
|