Transmission Protocols for Instruction Streams

DOI10.1007/978-3-642-03466-4_8zbMath1250.68183OpenAlexW1939257930MaRDI QIDQ3393403

C. A. Middelburg, Jan A. Bergstra

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

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)

Related Items (2)

On the expressiveness of single-pass instruction sequences ⋮ Instruction sequence processing operators

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