Your search returned 4 results.

Results
		A Generalized Message-Passing Mechanism for Communicating Sequential Processes by Lenders, Patrick Source: IEEE Transactions on Computers Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Modeling of Hierarchical Distributed Systems with Fault Tolerance by Shieh, Yuan-Bao Tripathi, Satish K Chintamaneni, Prasad R Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		A Rely and Guarantee Method for Timed Csp a Specification and Design of a Telephone Exchange by Kay, andrew Reed, Joy N Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		onSpecification and Synthesis of Communicating Processes by Erdogmus, M. Hakan Johnston, Robert Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article

Refine your search