Fixed point equations with parameters in the projective model
Information and Computation
Handbook of theoretical computer science (vol. B)
Algebraic and fixed point equations over inverse limits of algebras
Theoretical Computer Science
Selected papers of the Second Workshop on Concurrency and compositionality
Equivalence of recursive specifications in process algebra
Information Processing Letters
Java Language Specification, Second Edition: The Java Series
Java Language Specification, Second Edition: The Java Series
A survey of processors with explicit multithreading
ACM Computing Surveys (CSUR)
Micro-Threading: A New Approach to Future RISC
ACAC '00 Proceedings of the 5th Australasian Computer Architecture Conference
C# Language Specification
A foundation for actor computation
Journal of Functional Programming
SOS for higher order processes
CONCUR 2005 - Concurrency Theory
Splitting bisimulations and retrospective conditions
Information and Computation
A Thread Algebra with Multi-Level Strategic Interleaving
Theory of Computing Systems
Synchronous cooperation for explicit multi-threading
Acta Informatica
Distributed strategic interleaving with load balancing
Future Generation Computer Systems
Maurer computers for pipelined instruction processing†
Mathematical Structures in Computer Science
Thread Algebra with Multi-Level Strategies
Fundamenta Informaticae
Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting
Fundamenta Informaticae
Hi-index | 0.00 |
We present a theory of threads, interleaving of threads, and interaction between threads and services with features of molecular dynamics, a model of computation that bears on computations in which dynamic data structures are involved. Threads can interact with services of which the states consist of structured data objects and computations take place by means of actions which may change the structure of the data objects. The features introduced include restriction of the scope of names used in threads to refer to data objects. Because that feature makes it troublesome to provide a model based on structural operational semantics and bisimulation, we construct a projective limit model for the theory.