The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).

Publication list

Faculty of Science - 1994

321 to 330 of 1649
1 ... 161 ... 301   311   321   331   341 ... 491 ... 651 ... 821 ... 981 ... 1151 ... 1311 ... 1481 ... 1641

321  download 36104 Article: Process algebra with iteration and nesting
J.A. Bergstra, I. Bethke, A. Ponse in: Computer Journal, Vol. 37 (1994), p. 243-258
322  download 30022 Article: Which data types have omega-complete initial algebra specifications?
J.A. Bergstra, J. Heering in: Theoretical Computer Science, Vol. 124 (1994), p. 149-168
323  download 30023 Article: Bisimulation is two-way simulation
J.A. Bergstra, G. Stefanescu in: Information Processing Letters, Vol. 52 (1994), p. 285-287
324  download 33072 Article: Process Algebra with Guards. Combining Hoare Logic with Process Algebra
J.F. Groote, A. Ponse in: Formal Aspects of Computing, Vol. 6 (1994), p. 115-164
325   Chapter: Process algebra with partial choice
J.C.M. Baeten, J.A. Bergstra in: Proceedings CONCUR 94, Uppsala, Sweden (1994), p. 401-416
326   Chapter: A real time process logic
J.C.M. Baeten, J.A. Bergstra, R.N. Bol in: Proceedings ICTL 94 (1994), p. 30-47
327   Chapter: Graph isomorphism models for non interleaving process algebra
J.A. Bergstra, J.C.M. Baeten in: Algebra of Communicating Processes, Utrecht 1994 (1994), p. 299-318
328   Chapter: Real time process algebra with infinitesimals
J.C.M. Baeten, J.A. Bergstra in: Algebra of Communicating Processes, Utrecht 1994 (1994), p. 148-187
329   Chapter: Process algebra with combinators
J.A. Bergstra, I. Bethke, A. Ponse in: Proceedings CSL '93, Swansea (1994), p. 36-65
330   Chapter: The algebra of recursively defined processes and the algebra of regular processes
J.A. Bergstra, J.W. Klop in: Algebra of Communicating Processes, Utrecht 1994 (1994), p. 1-25