scientific article; zbMATH DE number 4180791

MaRDI QIDQ3204036zbMATH OpenFDO

Authors Yiannis N. Moschovakis

Publication date 1989

zbMATH Keywords

concurrencynon-deterministic processes

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• A model of concurrency with fair merge and full recursion
• scientific article; zbMATH DE number 1223630
• scientific article; zbMATH DE number 65755
• A truly concurrent game model of the asynchronous \(\pi\)-calculus
• Angelic semantics of fine-grained concurrency

Cited in

(9)

• Handshake games
• A Mathematical Game Semantics of Concurrency and Nondeterminism
• Deterministic Negotiations: Concurrency for Free
• A note on concurrent graph sharing games
• A model of concurrency with fair merge and full recursion
• A truly concurrent game model of the asynchronous \(\pi\)-calculus
• A model of a 2-player stopping game with priority and asynchronous observation
• scientific article; zbMATH DE number 65755 (Why is no real title available?)
• Effective strategies for enumeration games

This page was built for publication:

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