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 - 1995

1751 to 1760 of 1948
1 ... 191 ... 381 ... 581 ... 771 ... 971 ... 1161 ... 1361 ... 1551 ... 1731   1741   1751   1761   1771 ... 1941

1751   Chapter: Process algebra with propositional signals
J.C.M. Baeten, J.A. Bergstra in: De proceedings: ACP'95 (1995), p. 213-228
1752   Chapter: Process algebra with feedback
J.C.M. Baeten, J.A. Bergstra, G. Stefanescu in: Modal Logic and Process Algebra (1995), p. 13-38
1753   Chapter: Processes with multiple entries and exits
J.A. Bergstra, G. Stefanescu in: FCT'95 (1995), p. 136-145
1754   Chapter: Process algebra semantics of $\varphi${SDL}
J.A. Bergstra, C.A. Middelburg in: De proceedings: ACP'95 (1995), p. 309-346
1755   Chapter: Frame algebra with synchronous communication
J.A. Bergstra, A. Ponse in: Information Systems - Correctness and Reusability (Selected papers from the ISCORE Workshop) (1995), p. 3-15
1756   Chapter: Frame-based process logics
J.A. Bergstra, A. Ponse in: Modal Logic and Process Algebra (1995), p. 39-63
1757   Chapter: Two finite specifications of a queue
M.A. Bezem, A. Ponse in: De proceedings: ACP'95 (1995), p. 121-137
1758   Chapter: Translating a process algebra with symbolic data values to linear format
D.F. Bosscher, A. Ponse in: Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) (1995), p. 119-130
1759   Chapter: A 3-level algebraic Ethernet specification
J.J. Brunekreef in: De proceedings: ACP'95 (1995), p. 413-428
1760   Chapter: Verification of a distributed summation algorithm
F.W. Vaandrager in: Proceedings CONCUR 95, Philadelphia, PA, USA (1995), p. 190-203