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 1655
1 ... 161 ... 301   311   321   331   341 ... 491 ... 661 ... 821 ... 991 ... 1151 ... 1321 ... 1481 ... 1651

321  download 29041 Article: Turning SOS Rules into Equations
L. Aceto, B. Bloom in: Information and Computation, Vol. 111 (1994), p. 1-52
322  download 29521 Article: On sequential composition, action prefixes and process prefix
J.C.M. Baeten, J.A. Bergstra in: Formal Aspects of Computing, Vol. 6 (1994), p. 250-268
323  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
324  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
325  download 30023 Article: Bisimulation is two-way simulation
J.A. Bergstra, G. Stefanescu in: Information Processing Letters, Vol. 52 (1994), p. 285-287
326  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
327   Chapter: Process algebra with partial choice
J.C.M. Baeten, J.A. Bergstra in: Proceedings CONCUR 94, Uppsala, Sweden (1994), p. 401-416
328   Chapter: A real time process logic
J.C.M. Baeten, J.A. Bergstra, R.N. Bol in: Proceedings ICTL 94 (1994), p. 30-47
329   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
330   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