Mathematical Foundations of Computer Science 2003

DOI10.1007/B11836MaRDI QIDQ5431344zbMATH OpenOpenAlexFDO

Authors Bas Luttik

Publication date 7 December 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b11836

Mathematics Subject Classification ID

Ordered semigroups and monoids (06F05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Decomposition orders -- another generalisation of the fundamental theorem of arithmetic
• On unique decomposition of processes in the applied -calculus
• scientific article; zbMATH DE number 4777
• On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus
• Unique parallel decomposition for the \(\pi\)-calculus

Cited in

(6)

• Unique decomposition of processes
• Decomposition orders -- another generalisation of the fundamental theorem of arithmetic
• Partitions, Diophantine equations, and control systems
• A geometric approach to the problem of unique decomposition of processes
• Additive monotones for resource theories of parallel-combinable processes with discarding
• Resource convertibility and ordered commutative monoids

This page was built for publication: Mathematical Foundations of Computer Science 2003

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