Abstract
R. Mardare. Observing Distributed Computation. A Dynamic-Epistemic Approach. In
Proc. of the second Conference on Algebra and Coalgebra in Computer Science (CALCO2007), Lecture Notes in Computer Science 4624:379-393, Springer, 2007
Proc. of the second Conference on Algebra and Coalgebra in Computer Science (CALCO2007), Lecture Notes in Computer Science 4624:379-393, Springer, 2007
| Originalsprog | Engelsk |
|---|---|
| Bogserie | Lecture Notes in Computer Science |
| Sider (fra-til) | 379 |
| Antal sider | 393 |
| ISSN | 0302-9743 |
| Status | Udgivet - 2007 |