Publikace na Matematicko-fyzikální fakulta |
2005
Abstrakt
Dynamic evolution inherently involves dynamic update and the issue of its atomicity. We show how this issue can be addressed in a similar manner to a communication failure via an extension to behavior protocols.