Models for concurrency

DOI10.1007/3-540-54345-7_47MaRDI QIDQ4035225zbMATH OpenFDO

Authors Mogens Nielsen

Publication date 18 May 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-54345-7_47

zbMATH Keywords

behavioural levelelementary net systemsmodels for concurrencynoninter leaving modelstransition systems

Mathematics Subject Classification ID

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

Review text

[For the entire collection see Zbl 0753.00030.] The author emphasizes the necessity of investigating the relationships between models for concurrency. He suggests to provide characterizations in terms of standard labeled Transition Systems of noninterleaving models on the systems level and on the behavioural level.

Recommendations

• Models for concurrency: Towards a classification
• Towards the unification of models for concurrency
• Petri nets and other models of concurrency
• 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?)
• Towards the unification of models for concurrency
• On the faithfulness of formal models
• 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
• Modelling concurrent interactions
• 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: Models for concurrency

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