The universal process

DOI10.23638/LMCS-13(4:11)2017MaRDI QIDQ4596788zbMATH OpenFDO

Authors Yuxi Fu

Publication date 11 December 2017

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

zbMATH Keywords

Gödel encodingrecursion theorytheory of interactionuniversal machine

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A universal reactive machine
• Distributed universal constructions: a guided tour
• Publication:3026331
• scientific article; zbMATH DE number 4028883
• The -calculus: An introduction

Cited in

(8)

• Counting nondeterministic computations
• A thesis for interaction
• The permanental process
• scientific article; zbMATH DE number 4043187 (Why is no real title available?)
• scientific article; zbMATH DE number 7204939 (Why is no real title available?)
• The \(\pi\)-calculus is behaviourally complete and orbit-finitely executable
• Final universes of processes
• Extensional Petri net

This page was built for publication: The universal process

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