A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Communicating sequential processes
Communicating sequential processes
Process algebra
Handbook of theoretical computer science (vol. B)
Precise instruction scheduling without a precise machine model
ACM SIGARCH Computer Architecture News
Instruction prefetching of systems codes with layout optimized for reduced cache misses
ISCA '96 Proceedings of the 23rd annual international symposium on Computer architecture
Exploiting instruction level parallelism in processors by caching scheduled groups
Proceedings of the 24th annual international symposium on Computer architecture
Efficient performance prediction for modern microprocessors
Proceedings of the 2000 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Empirical evaluation of some features of instruction set processor architectures
Communications of the ACM
Communication and Concurrency
Introduction to Process Algebra
Introduction to Process Algebra
The case for the reduced instruction set computer
ACM SIGARCH Computer Architecture News
MIPS: A microprocessor architecture
MICRO 15 Proceedings of the 15th annual workshop on Microprogramming
ICCD '97 Proceedings of the 1997 International Conference on Computer Design (ICCD '97)
Computer Architecture: A Quantitative Approach
Computer Architecture: A Quantitative Approach
Splitting bisimulations and retrospective conditions
Information and Computation
Towards an active network architecture
ACM SIGCOMM Computer Communication Review
Computational Complexity: A Modern Approach
Computational Complexity: A Modern Approach
Transmission Protocols for Instruction Streams
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Formal Semantics of Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Polarized process algebra and program equivalence
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
On the operating unit size of load/store architectures†
Mathematical Structures in Computer Science
An introduction to program and thread algebra
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
On the Expressiveness of Single-Pass Instruction Sequences
Theory of Computing Systems
Instruction sequence processing operators
Acta Informatica
Maurer Computers with Single-Thread Control
Fundamenta Informaticae
Hi-index | 0.00 |
We study several aspects of the behaviours produced by instruction sequences under execution in the setting of the algebraic theory of processes known as ACP. We use ACP to describe the behaviours produced by instruction sequences under execution and to describe two protocols implementing these behaviours in the case where the processing of instructions takes place remotely. We also show that all finite-state behaviours considered in ACP can be produced by instruction sequences under execution.