Computer Science – Programming Languages
Scientific paper
2009-09-15
Computer Science
Programming Languages
12 pages
Scientific paper
We 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.
Bergstra Jan Aldert
Ponse Alban
No associations
LandOfFree
A progression ring for interfaces of instruction sequences, threads, and services does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A progression ring for interfaces of instruction sequences, threads, and services, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A progression ring for interfaces of instruction sequences, threads, and services will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-556258