Transmission Protocols for Instruction Streams

DOI10.1007/978-3-642-03466-4_8zbMATH Open1250.68183OpenAlexW1939257930MaRDI QIDQ3393403FDOQ3393403

Authors: J. A. Bergstra, C. A. Middelburg 

Publication date: 20 August 2009

Published in: Theoretical Aspects of Computing - ICTAC 2009 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03466-4_8

Recommendations

• On the behaviours produced by instruction sequences under execution
• On the expressiveness of single-pass instruction sequences
• Thread extraction for polyadic instruction sequences
• Probabilistic thread algebra
• Instruction sequences with dynamically instantiated instructions

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)

Cited In (4)

• On the expressiveness of single-pass instruction sequences
• Instruction sequence processing operators
• On the behaviours produced by instruction sequences under execution
• Streaming Communication Protocols

This page was built for publication: Transmission Protocols for Instruction Streams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3393403)