Results 1  10
of
1,535,790
Bisimulations upto: beyond firstorder transition systems
"... Abstract. The bisimulation proof method can be enhanced by employing ‘bisimulations upto ’ techniques. A comprehensive theory of such enhancements has been developed for firstorder (i.e., CCSlike) labelled transition systems (LTSs) and bisimilarity, based on the notion of compatible function for ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Abstract. The bisimulation proof method can be enhanced by employing ‘bisimulations upto ’ techniques. A comprehensive theory of such enhancements has been developed for firstorder (i.e., CCSlike) labelled transition systems (LTSs) and bisimilarity, based on the notion of compatible function
Upto Techniques for Weak Bisimulation
 In Proceedings of International Colloquium on Automata, Languages and Programming (ICALP 2005), volume 3580 of LNCS
, 2005
"... Abstract. Upto techniques have been introduced to enhance the bisimulation proof method for establishing bisimilarity results. While upto techniques for strong bisimilarity are well understood, in the weak case they come as a collection of unrelated results, and lack a unified presentation. We pro ..."
Abstract

Cited by 6 (4 self)
 Add to MetaCart
Abstract. Upto techniques have been introduced to enhance the bisimulation proof method for establishing bisimilarity results. While upto techniques for strong bisimilarity are well understood, in the weak case they come as a collection of unrelated results, and lack a unified presentation. We
Upto Techniques for Weak Bisimulation
"... Upto techniques have been introduced to enhance the bisimulation proof method for establishing bisimilarity results. While upto techniques for strong bisimilarity are well understood, in the weak case they come as a collection of unrelated results, and lack a unified presentation. We propose a uni ..."
Abstract
 Add to MetaCart
Upto techniques have been introduced to enhance the bisimulation proof method for establishing bisimilarity results. While upto techniques for strong bisimilarity are well understood, in the weak case they come as a collection of unrelated results, and lack a unified presentation. We propose a
Automatically Proving Upto Bisimulation
, 1998
"... We present a methodology for checking bisimilarities between picalculus processes with the upto techniques for bisimulation. These techniques are used to reduce the size of the relation one has to exhibit to prove a bisimulation. Not only is this interesting in terms of space management, but it al ..."
Abstract
 Add to MetaCart
We present a methodology for checking bisimilarities between picalculus processes with the upto techniques for bisimulation. These techniques are used to reduce the size of the relation one has to exhibit to prove a bisimulation. Not only is this interesting in terms of space management
Beyond pleasure and pain
 American Psychologist
, 1997
"... People approach pleasure and avoid pain. To discover the true nature of approachavoidance motivation, psychologists need to move beyond this hedonic principle to the principles that underlie the different ways that it operates. One such principle is regulatory focus, which distinguishes selfregula ..."
Abstract

Cited by 500 (18 self)
 Add to MetaCart
People approach pleasure and avoid pain. To discover the true nature of approachavoidance motivation, psychologists need to move beyond this hedonic principle to the principles that underlie the different ways that it operates. One such principle is regulatory focus, which distinguishes self
An Analysis of FirstOrder Logics of Probability
 Artificial Intelligence
, 1990
"... : We consider two approaches to giving semantics to firstorder logics of probability. The first approach puts a probability on the domain, and is appropriate for giving semantics to formulas involving statistical information such as "The probability that a randomly chosen bird flies is greater ..."
Abstract

Cited by 316 (18 self)
 Add to MetaCart
: We consider two approaches to giving semantics to firstorder logics of probability. The first approach puts a probability on the domain, and is appropriate for giving semantics to formulas involving statistical information such as "The probability that a randomly chosen bird flies
Antide Sitter Space, Thermal Phase Transition, and Confinement in Gauge Theories
 Adv. Theor. Math. Phys
, 1998
"... The correspondence between supergravity (and string theory) on AdS space and boundary conformal field theory relates the thermodynamics of N = 4 super YangMills theory in four dimensions to the thermodynamics of Schwarzschild black holes in Antide Sitter space. In this description, quantum phenome ..."
Abstract

Cited by 1087 (4 self)
 Add to MetaCart
The correspondence between supergravity (and string theory) on AdS space and boundary conformal field theory relates the thermodynamics of N = 4 super YangMills theory in four dimensions to the thermodynamics of Schwarzschild black holes in Antide Sitter space. In this description, quantum phenomena such as the spontaneous breaking of the center of the gauge group, magnetic confinement, and the mass gap are coded in classical geometry. The correspondence makes it manifest that the entropy of a very large AdS Schwarzschild black hole must scale “holographically ” with the volume of its horizon. By similar methods, one can also make a speculative proposal for the description of large N gauge theories in four dimensions without supersymmetry. March
The Active Badge Location System
 ACM Transactions on Information Systems
, 1992
"... cation is the `pager system'. In order to locate a person a signal is sent out by a central facility that addresses a particular receiver unit (beeper) and produces an audible signal. In addition, it may display a number to which the calledparty should phone back (some systems allow a vocal me ..."
Abstract

Cited by 1452 (14 self)
 Add to MetaCart
cation is the `pager system'. In order to locate a person a signal is sent out by a central facility that addresses a particular receiver unit (beeper) and produces an audible signal. In addition, it may display a number to which the calledparty should phone back (some systems allow a vocal
DISTRIBUTED SYSTEMS
, 1985
"... Growth of distributed systems has attained unstoppable momentum. If we better understood how to think about, analyze, and design distributed systems, we could direct their implementation with more confidence. ..."
Abstract

Cited by 755 (1 self)
 Add to MetaCart
Growth of distributed systems has attained unstoppable momentum. If we better understood how to think about, analyze, and design distributed systems, we could direct their implementation with more confidence.
Statecharts: A Visual Formalism For Complex Systems
, 1987
"... We present a broad extension of the conventional formalism of state machines and state diagrams, that is relevant to the specification and design of complex discreteevent systems, such as multicomputer realtime systems, communication protocols and digital control units. Our diagrams, which we cal ..."
Abstract

Cited by 2683 (56 self)
 Add to MetaCart
We present a broad extension of the conventional formalism of state machines and state diagrams, that is relevant to the specification and design of complex discreteevent systems, such as multicomputer realtime systems, communication protocols and digital control units. Our diagrams, which we
Results 1  10
of
1,535,790