scientific article; zbMATH DE number 176124

MaRDI QIDQ4035225zbMATH OpenFDO

Authors Mogens Nielsen

Publication date 18 May 1993

zbMATH Keywords

behavioural levelelementary net systemsmodels for concurrencynoninter leaving modelstransition systems

Mathematics Subject Classification ID

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

Recommendations

• Models for concurrency: Towards a classification
• scientific article; zbMATH DE number 125888
• scientific article; zbMATH DE number 1302049
• scientific article; zbMATH DE number 4112056
• scientific article; zbMATH DE number 1314563

Cited in

(15)

• Studying Operational Models of Relaxed Concurrency
• scientific article; zbMATH DE number 3913662 (Why is no real title available?)
• scientific article; zbMATH DE number 4112056 (Why is no real title available?)
• scientific article; zbMATH DE number 125888 (Why is no real title available?)
• scientific article; zbMATH DE number 176123 (Why is no real title available?)
• scientific article; zbMATH DE number 1283472 (Why is no real title available?)
• scientific article; zbMATH DE number 4119642 (Why is no real title available?)
• Concurrent specifications beyond linearizability
• Modeling concurrency with interval traces
• Simplicial Models for Concurrency
• Algebraic Methodology and Software Technology
• Models for concurrency: Towards a classification
• Trapping mutual exclusion in the box calculus
• Models of central capacity and concurrency
• Modelling concurrent interactions

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