scientific article; zbMATH DE number 3846853

MaRDI QIDQ3316571zbMATH OpenFDO

Authors R. P. Kurshan

Publication date 1984

zbMATH Keywords

analysis of the collective behavior of several concurrent processcommunication protocolscomplexity of system analysiscotinuous time stochastic behavior of asynchronous systemseventnondeterministic Turing machinespecification

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 1696898
• Algebraic theory of probabilistic and nondeterministic processes.
• LOTOS extended with probabilistic behaviours
• An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation
• Processes with probabilities, priority and time

Cited in

(7)

• LOTOS extended with probabilistic behaviours
• Algebraic theory of probabilistic and nondeterministic processes.
• Markov two-components processes
• Computing Behavioral Relations for Probabilistic Concurrent Systems
• scientific article; zbMATH DE number 4119608 (Why is no real title available?)
• scientific article; zbMATH DE number 7147446 (Why is no real title available?)
• An algebraic framework for defining random concurrent behaviours

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