scientific article; zbMATH DE number 140260

zbMATH Open0785.68036MaRDI QIDQ4028641FDOQ4028641

Authors: Cheng Wu, Gregor von Bochmann 

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

Recommendations

• Appraising fairness in languages for distributed programming
• Keep it fair: equivalence and composition
• Stepwise development of fair distributed systems
• Relating fairness and timing in process algebras.
• A fair calculus of communicating systems

zbMATH Keywords

fairnessconcurrencydistributed systemslivenessLOTOS semanticsLOTOS specification language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (8)

• Choosing fair lotteries to defeat the competition
• Term Rewriting and Applications
• Title not available (Why is that?)
• An interpreter for LOTOS, a specification language for distributed systems
• Lottery qualities
• Title not available (Why is that?)
• Compositional failure-based semantic models for basic LOTOS
• Relating fairness and timing in process algebras.

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