|
|
|
Process Algebra by Baeten, J C M | Weijland, W P. Series: Cambridge Tracts in Theoretical Computer Science, 18Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; Cambridge University Press ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 38 Call number: 681.3 BAE.
|
|
|
|
|
|
|
|
Process Algebra with Timing by Baeten, J C M | Middelburg, C A. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Germany ; Springer ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 38 Call number: 681.3 BAE.
|
|
|
|
|
|
|
|
|
|
|
|
CONCUR '90 Theories of Concurrency: Unification and Extension [electronic resource] : Amsterdam, The Netherlands, August 27–30, 1990 Proceedings / edited by J. C. M. Baeten, J. W. Klop. by Baeten, J. C. M [editor.] | Klop, J. W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 458Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Other title: Amsterdam, The Netherlands, August 27-30, 1990. Proceedings.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|