Your search returned 3 results.

Results
		Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors by Caspi, Paul Pilaud, Daniel Girault, Alain Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		A Kernel for High-Performance Multicast Communications by Gait, Jason Source: IEEE Transactions on Computers Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Proof Rules for Flush Channels by Camp, Tracy Ahuja, Mohan 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