Publication at Faculty of Mathematics and Physics |
2005
Abstract
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.