scientific article; zbMATH DE number 1497859

MaRDI QIDQ4499290zbMATH OpenFDO

Authors Bruce J. Davies, Graham Wrightson

Publication date 5 March 2001

zbMATH Keywords

concurrent systemslabelled transition systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Strategies as concurrent processes
• Distributed Strategies Made Easy
• Publication:4728237
• An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation
• scientific article; zbMATH DE number 139604

Cited in

(1)

• Strategies as concurrent processes

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