- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-299X
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Thread algebra for strategic interleaving ; volume:19 ; number:4 ; day:22 ; month:2 ; year:2007 ; pages:445-474 ; date:11.2007
Formal aspects of computing ; 19, Heft 4 (22.2.2007), 445-474, 11.2007
- Creator
-
Bergstra, J. A.
Middelburg, C. A.
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s00165-007-0024-9
- URN
-
urn:nbn:de:101:1-2021090122012371725405
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:27 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Bergstra, J. A.
- Middelburg, C. A.
- SpringerLink (Online service)
Other Objects (12)
A Thread Algebra with Multi-Level Strategic Interleaving
EU-NATO Cooperation and Strategic Autonomy - Logical Contradiction or Ariadne's Thread?
Fixation stability comparison of bone screws based on thread design: buttress thread, triangle thread, and square thread
Thread workers.
Process Algebra with Strategic Interleaving
The red thread
Simplifying thread safe code
Benchmarking Thread Block Cluster
Thread-Safe Reactive Programming
Thread-based wearable devices
Building wireless sensor networks with OpenThread : developing CoAP applications for thread networks with Zephyr
IDaTPA: importance degree based thread partitioning approach in thread level speculation
A Thread Algebra with Multi-Level Strategic Interleaving
EU-NATO Cooperation and Strategic Autonomy - Logical Contradiction or Ariadne's Thread?
Fixation stability comparison of bone screws based on thread design: buttress thread, triangle thread, and square thread
Thread workers.
Process Algebra with Strategic Interleaving
The red thread
Simplifying thread safe code
Benchmarking Thread Block Cluster
Thread-Safe Reactive Programming
Thread-based wearable devices
Building wireless sensor networks with OpenThread : developing CoAP applications for thread networks with Zephyr
IDaTPA: importance degree based thread partitioning approach in thread level speculation
A Thread Algebra with Multi-Level Strategic Interleaving
EU-NATO Cooperation and Strategic Autonomy - Logical Contradiction or Ariadne's Thread?
Fixation stability comparison of bone screws based on thread design: buttress thread, triangle thread, and square thread
Thread workers.
Process Algebra with Strategic Interleaving
The red thread
Simplifying thread safe code
Benchmarking Thread Block Cluster
Thread-Safe Reactive Programming
Thread-based wearable devices
Building wireless sensor networks with OpenThread : developing CoAP applications for thread networks with Zephyr