scientific article; zbMATH DE number 1236365

MaRDI QIDQ4223779zbMATH OpenFDO

Authors B. Thomsen, Lone Leth Thomsen

Publication date 6 January 1999

zbMATH Keywords

concurrency theoryglobal computationssemantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1860679
• scientific article; zbMATH DE number 1479623
• Reflections on the future of concurrency theory in general and process calculi in particular
• Towards a language for concurrent processes
• Meta model of concurrent computation. I: Graph Model

Cited in

(3)

• Endgame problems of Sim-like graph Ramsey avoidance games are PSPACE-complete.
• scientific article; zbMATH DE number 1479626 (Why is no real title available?)
• scientific article; zbMATH DE number 1860679 (Why is no real title available?)

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 Q4223779)