A Behavioural Theory for Reflective Sequential Algorithms

DOI10.1007/978-3-319-74313-4_10zbMath1461.68083arXiv2001.01873OpenAlexW2784334896MaRDI QIDQ4989672

Flavio Ferrarotti, Loredana Tec, Klaus-Dieter Schewe

Publication date: 26 May 2021

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

Full work available at URL: https://arxiv.org/abs/2001.01873

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) General topics in the theory of algorithms (68W01) Classical models of computation (Turing machines, etc.) (68Q04)

Related Items (4)

Distributed Adaptive Systems ⋮ Capturing Membrane Computing by ASMs ⋮ A Logic for Reflective ASMs ⋮ Computation on structures. Behavioural theory, logic, complexity

This page was built for publication: A Behavioural Theory for Reflective Sequential Algorithms