Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

The asynchronous stack revisited

Rounds set the twilight reeling
: Walter, R.


Freksa, C.; Jantzen, M.; Valk, R.:
Foundations of computer science. Potential - theory - cognition
Berlin: Springer, 1997 (Lecture Notes in Computer Science 1337)
ISBN: 3-540-63746-X
ISSN: 0302-9743
Book Article
Fraunhofer ISST ()
partial order; petri net; specification; temporal logic; verification

Protocols return often to a particular state - no matter what happens. We call such a state a (em ground state). Each action which occurs in the ground state starts a so-called (em round). A round ends when the ground state is reached again. In distributed protocols without global control, rounds are hard to identify.Ground states might be only virtual snapshots and not necessarily observable. When partial order semantics are considered, a round can be clearly identified even in a distributed system. We will discuss the use of rounds for structuring and verifying a system's behavior. As an example a Petri net model for the asynchronous stack is introduced.