Mathematical Foundations of Computer Science 2003

DOI10.1007/b11836zbMath1124.68393OpenAlexW2495578842MaRDI QIDQ5431344

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

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

Related Items (3)

Partitions, Diophantine equations, and control systems ⋮ Resource convertibility and ordered commutative monoids ⋮ Decomposition orders -- another generalisation of the fundamental theorem of arithmetic

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