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).

Search results

Query: faculty: "FNWI" and publication year: "2009"

AuthorsJ.A. Bergstra, A. Ponse
TitleA progression ring for interfaces of instruction sequences, threads, and services
Year2009
Pages12
FacultyFaculty of Science
Institute/dept.FNWI: Informatics Institute (II)
AbstractWe define focus-method interfaces and some connections between such interfaces and instruction sequences, giving rise to instruction sequence components. We provide a flexible and practical notation for interfaces using an abstract datatype specification comparable to that of basic process algebra with deadlock. The structures thus defined are called progression rings. We also define thread and service components. Two types of composition of instruction sequences or threads and services (called `use' and `apply') are lifted to the level of components.
Document typeReport
Download paper
Document finderUvA-Linker