Media type: Book; Thesis Title: Action refinement in process algebras Contributor: Aceto, Luca [Author] imprint: Cambridge: Cambridge University Press, 1992 Published in: Distinguished Dissertations in Computer Science Extent: VIII, 273 S; graph. Darst; 25 cm Language: English ISBN: 0521431115 RVK notation: ST 140 : Semantik von Programmiersprachen Keywords: CCS > Prozessalgebra Prozessalgebra Origination: University thesis: Zugl.: Univ. of Sussex, Diss., 1990 Footnote: Literaturverz. S. [265] - 271
Departmental Library DrePunct – stack Shelf-mark: 96 4 02242 001 Item ID: 10034471 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order