Elementary control structures

DOI10.1007/3-540-61604-7_51zbMath1514.68181MaRDI QIDQ6104369

A. John Power

Publication date: 28 June 2023

Published in: CONCUR '96: Concurrency Theory (Search for Journal in Brave)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Premonoidal categories as categories with algebraic structure

Cites Work

• Petri nets are monoids
• Premonoidal categories and notions of computation
• Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi
• Unnamed Item

This page was built for publication: Elementary control structures