Appraising fairness in languages for distributed programming
The relations among various languages and models for distributed computation and various
possible definitions of fairness are considered. Natural semantic criteria are presented …
possible definitions of fairness are considered. Natural semantic criteria are presented …
[图书][B] Interacting processes: A multiparty approach to coordinated distributed programming
N Francez, IR Forman - 1996 - dl.acm.org
Interacting processes | Guide books skip to main content ACM Digital Library home ACM home
Google, Inc. (search) Advanced Search Browse About Sign in Register Advanced Search …
Google, Inc. (search) Advanced Search Browse About Sign in Register Advanced Search …
Fairness and hyperfairness
L Lamport - Distributed Computing, 2000 - Springer
The notion of fairness in trace-based formalisms is examined. It is argued that, in general,
fairness means machine closure. The notion of hyperfairness introduced by Attie, Francez …
fairness means machine closure. The notion of hyperfairness introduced by Attie, Francez …
Finding patterns in the fieldwork
D Martin, T Rodden, M Rouncefield… - … 2001: Proceedings of …, 2001 - Springer
This paper considers the potential of using patterns of cooperative interaction to support the
development of general design principles drawn from a range of work settings. It reports on …
development of general design principles drawn from a range of work settings. It reports on …
Reduction and refinement strategies for probabilistic analysis
PR D'Argenio, B Jeannet, HE Jensen… - … Workshop von Process …, 2002 - Springer
We report on new strategies for model checking quantitative reachability properties of
Markov decision processes by successive refinements. In our approach, properties are …
Markov decision processes by successive refinements. In our approach, properties are …
Model checking with fairness assumptions using PAT
Recent development on distributed systems has shown that a variety of fairness constraints
(some of which are only recently defined) play vital roles in designing self-stabilizing …
(some of which are only recently defined) play vital roles in designing self-stabilizing …
A comprehensive study of the complexity of multiparty interaction
A multipaq interaction is a set of I/0 actions executed jointly by a number of processes, each
of which must be ready to execute its own action for any of the actions in the set to occur, An …
of which must be ready to execute its own action for any of the actions in the set to occur, An …
Defining fairness in reactive and concurrent systems
H Völzer, D Varacca - Journal of the ACM (JACM), 2012 - dl.acm.org
We define when a linear-time temporal property is a fairness property with respect to a given
system. This captures the essence shared by most fairness assumptions that are used in the …
system. This captures the essence shared by most fairness assumptions that are used in the …
[PDF][PDF] Liveness, Fairness, and Recurrence in Petri Nets.
E Kindler, WMP van der Aalst - Inf. Process. Lett., 1999 - vdaalst.com
In Petri net theory, a transition is called live if from every reachable marking there starts a
computation in which the transition occurs. Another important property of a transition is the …
computation in which the transition occurs. Another important property of a transition is the …
[图书][B] A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors
R Kurki-Suonio - 2005 - Springer
A man may imagine he understands something, but still not understand anything in the way
that he ought to.(Paul of Tarsus, 1 Corinthians 8: 2) Calling this a 'practical theory'may …
that he ought to.(Paul of Tarsus, 1 Corinthians 8: 2) Calling this a 'practical theory'may …