Colimits for Concurrent Collectors
Dusko Pavlovic‚ Peter Pepper and Douglas R. Smith
Details
| Book Title |
Verification — Theory and Practice. Essays Dedicated to Zohar Mana on the Occasion of His 64th Birthday |
| Editor |
Nachum Dershowitz |
| Pages |
568–597 |
| Publisher |
Springer Verlag |
| Series |
Lecture Notes in Computer Science |
| Volume |
2772 |
| Year |
2003 |
Links
Related pages
|
People |