Logical Approaches to Computational Barriers

DOI10.1007/11780342zbMath1131.68411DBLPconf/cie/2006OpenAlexW4255986326WikidataQ55968647 ScholiaQ55968647MaRDI QIDQ5898842

Alban Ponse, Mark B. van der Zwaag

Publication date: 30 April 2007

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

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

zbMATH Keywords

PGAProgram AlgebraThread Algebra

Mathematics Subject Classification ID

Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (7)

Thread algebra for poly-threading ⋮ Program algebra with a jump-shift instruction ⋮ On the contribution of backward jumps to instruction sequence expressiveness ⋮ On the expressiveness of single-pass instruction sequences ⋮ Straight-line instruction sequence completeness for total calculation on cancellation meadows ⋮ Instruction sequence processing operators ⋮ Risk assessment for one-counter threads

This page was built for publication: Logical Approaches to Computational Barriers