Your search returned 3 results.

Results
		No cover image available Specifying message passing and time-critical systems with temporal logic by Koymans, Ron \| . Series: Lecture notes in computer science ; v.651Edition: Language: English Publication details: ; Berlin : Springer-verlag, 1992 ; 1992Availability: Items available for loan: 1 Call number: 681.327.8:681.3.06 Koy. Place hold Add to cart (remove)
		No cover image available X.400 message handling system, design and implementation (R) by Tripathi, Saurabh \| Khalid, M. Series: Edition: Language: English Publication details: Bombay ; IIT ; 1992Availability: Items available for reference: Not for loan (1) Call number: 043:681.327.8:621.391Tri. Add to cart (remove)
		Fault-tolerant agreement in synchronous message-passing systems (e-book) by Raynal, Michel [Author]. Series: Synthesis lectures on distributed computing theoryMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: San Rafael Morgan and Claypool / IEEE Press / Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search