Part of the Undergraduate Topics in Computer Science book series (UTICS)
Models of Concurrency
In this chapter, we cover
Process algebras (including the φ-calculus)
Deadlock once again, considering tools such as FDR2 and Spin, which can be used to check for deadlocks
KeywordsState Machine Model Checker Mobile Agent Play Game Linear Temporal Logic
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
© Springer-Verlag London Limited 2008