scientific article; zbMATH DE number 1314563

MaRDI QIDQ4256353zbMATH OpenFDO

Authors Uri Abraham

Publication date 11 July 1999

zbMATH Keywords

concurrent protocols

Mathematics Subject Classification ID

Logic in computer science (03B70) Basic properties of first-order languages and structures (03C07) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Concurrency theory. Calculi and automata for modelling untimed and timed cocurrent systems.
• scientific article; zbMATH DE number 4145305
• Understanding concurrent systems
• Concurrency verification. Introduction to compositional and noncompositional methods

Cited in

(19)

• Self-stabilizing timestamps
• Concurrency model for distributed systems
• Proper protocol
• Event-based proof of the mutual exclusion property of Peterson's algorithm
• Studying Operational Models of Relaxed Concurrency
• scientific article; zbMATH DE number 4145305 (Why is no real title available?)
• scientific article; zbMATH DE number 3913662 (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 176124 (Why is no real title available?)
• scientific article; zbMATH DE number 1283472 (Why is no real title available?)
• Modeling concurrency with interval traces
• Simplicial Models for Concurrency
• Algebraic Methodology and Software Technology
• Logical classification of distributed algorithms (Bakery algorithms as an example)
• Communicating Sequential Processes. The First 25 Years
• Self-stabilizing \(\ell\)-exclusion
• 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 Q4256353)