Logical Approaches to Computational Barriers
From MaRDI portal
Publication:5898842
DOI10.1007/11780342zbMath1131.68411OpenAlexW4255986326WikidataQ55968647 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
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
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
