Combining programs and state machines

DOI10.1016/S1567-8326(02)00020-6zbMath1008.68068MaRDI QIDQ1858434

Jan A. Bergstra, Alban Ponse

Publication date: 13 February 2003

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

zbMATH Keywords

state machine; program algebra; abstract data type

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

Maurer computers for pipelined instruction processing, Straight-line instruction sequence completeness for total calculation on cancellation meadows, On the contribution of backward jumps to instruction sequence expressiveness, Instruction sequence processing operators, Machine structure oriented control code logic, Execution architectures for program algebra, Decision problems for pushdown threads, Program algebra with a jump-shift instruction, A thread calculus with molecular dynamics, Risk assessment for one-counter threads, Thread algebra for strategic interleaving, Synchronous cooperation for explicit multi-threading, Simulating Turing machines on Maurer machines, On the operating unit size of load/store architectures

Cites Work

• Unnamed Item
• Unnamed Item
• Kleene's three-valued logic and process algebra
• What is an abstract datatype?
• Program algebra for component code
• Process algebra and conditional composition
• Program algebra for sequential code
• Laws of programming