Process algebra for parallel and distributed processing /   Publication: Boca Raton, FL : CRC Press, 2009 . xxii, 415 p. : 25 cm. Date:2009 Availability: Copies available: AUM Main Library (2),
Actions: Add to Cart
Formal techniques for networked and distributed systems, FORTE 2003 : , 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings /   Publication: Berlin : Springer, 2003 . xii, 429 p. : 24 cm. Date:2003 Availability: Copies available: AUM Main Library (3),
Actions: Add to Cart