Normal view MARC view ISBD view

Topology in process calculus: approximate correctness and infinite evolution of concurrent programs

By: Ying, MingshengMaterial type: Text

TextPublication details: China Springer 2001Edition: 1stDescription: viii,220p pISBN: 9780387950921Subject(s): Parallel processing(Electronic Computer)

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Call number	Status	Date due	Barcode	Item holds
Books	Jayakar Knowledge Resource Centre	Jayakar Knowledge Resource Centre	CS F.2 NO1 (Browse shelf(Opens below))	Available		491641

Total holds: 0

Previous			No cover image available					Next
Previous	CS F.2 N91 Frontiers in parallel computing	CS F.2 N96 Algorithms - esa '96: fourth annual european sysmposium barcelona, spain, september 25-27, 1996 proceddings	CS F.2 N99 Parallel processing and parallel algorithms	CS F.2 NO1 Topology in process calculus: approximate correctness and infinite evolution of concurrent programs	CS F.2.O P03 Algorithm design: foundations, analysis, and internet examples	CS F.2 P04 Introduction to parallel computing	CS F.2 P04 Verification of reactive systems: formal methods and algorithms	Next

There are no comments on this title.

to post a comment.

Jayakar Knowledge Resource Centre