scientific article; zbMATH DE number 4090776

MaRDI QIDQ3817586zbMATH OpenFDO

Authors Gérard Boudol, Ilaria Castellani

Publication date 1988

zbMATH Keywords

atomic actionsaxiomatizationbisimulationcalculus of processesconcurrencyevent structuresexecution modeloperation of programsoperational semanticssynchronisationsyntax of terms

Mathematics Subject Classification ID

Theory of operating systems (68N25) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Concurrency and atomicity
• scientific article; zbMATH DE number 1023022
• scientific article; zbMATH DE number 3995041
• scientific article; zbMATH DE number 4182807
• Independence abstractions and models of concurrency

Cited in

(10)

• Concurrency and atomicity
• A theory of processes with localities
• Comparing locality and causality based equivalences
• A process calculus of atomic commit
• Independence abstractions and models of concurrency
• Monitoring Atomicity in Concurrent Programs
• scientific article; zbMATH DE number 1361135 (Why is no real title available?)
• scientific article; zbMATH DE number 1023022 (Why is no real title available?)
• scientific article; zbMATH DE number 2163040 (Why is no real title available?)
• Concurrency: handling interference formally

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