Rance Cleaveland and Scott Smolka. Process Algebra. April 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
PhD Review - Edwards (Correct)
....When I started here, I was introduced to process algebras. I d met the process algebra [3] as an undergraduate, and my knowledge was extended to include more modern incarnations of process algebras such as [4] Just for fun, I also read some papers. 1] 2] 5] 6] 7] 8] 9] 10] 11] 12] 13] [14] [16] 17] 18] 19] 2.2 The Ghost Of Christmas Present More recently, I ve managed to apply the knowledge that I ve acquired to a well known communications protocol, and have managed to get [15] published at a conference. I learnt plenty of things while writing it, and it helped clarify some ....
Rance Cleaveland and Scott Smolka. Process Algebra. April 1999.
Process Algebras for Protocol Validation and Analysis - Edwards (2001) (Correct)
No context found.
Rance Cleaveland and Scott Smolka. Process Algebra. April 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC