Social confluence in client-server systems

DOI10.1007/3-540-63172-0_51MaRDI QIDQ4362930zbMATH OpenFDO

Authors Anna Philippou, David Walker

Publication date 13 November 1997

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

Full work available at URL https://doi.org/10.1007/3-540-63172-0_51

zbMATH Keywords

concurrent systems

Mathematics Subject Classification ID

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

Recommendations

• On confluence in the -calculus
• Confluence of processes and systems of objects
• Partial confluence of processes and systems of objects
• A process-calculus analysis of concurrent operations on B-trees
• Concurrent and Located Synchronizations in π-Calculus

Cited in

(3)

• scientific article; zbMATH DE number 2013203 (Why is no real title available?)
• A theory of RPC calculi for client-server model
• Consistently-detecting monitors

This page was built for publication: Social confluence in client-server systems

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