A Computation Model for Z Based on Concurrent Constraint Resolution
From BibNetWiki
- @j-LECT-NOTES-COMP-SCI 1878:414--432, 2000
- Url BibtexAuthor : Wolfgang Grieskamp
Title : A Computation Model for {Z} Based on Concurrent Constraint Resolution
Publication Type : @j-LECT-NOTES-COMP-SCI -
Address :
Date : 2000
