asynchronous message passing examples?

[Felix Gaertner <felix@bs.informatik.tu-darmstadt.de>]

As part of my research in the verification of fault-tolerant protocols
I would like to verify a few things in the "asynchronous" message
passing system model.  In this model, a finite set of processes
communicate by sending messages and there is no bound on the time it
takes for a message to travel and for a process to take a step.

I was wondering whether anybody has formalized algorithms in this
setting using PVS before?  Pointers to related work would be
very helpful.

Cheers

Felix
-- 
=========="===================================================
Felix C. Gartner              felix@informatik.tu-darmstadt.de
Computer Science Department              TU Darmstadt, Germany

---

• Prev by Date: New libraries available
• Next by Date: K_conversion
• Prev by thread: New libraries available
• Next by thread: K_conversion
• Index(es):
  • Date
  • Thread