Results 171 to 180 of about 13,172 (205)
A model for correlation-based choreographic programming. [PDF]
PeerJ Comput SciGiallorenzo S, Montesi F, Gabbrielli M.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Journal of Logic and Computation, 2008
Building on the fact that descriptive frames are coalgebras for the Vietoris functor on the category of Stone spaces, we introduce and study the concept of a Vietoris bisimulation between two descriptive modal models, together with the associated notion of bisimilarity.
Nick Bezhanishvili +2 more
openaire +2 more sources
Building on the fact that descriptive frames are coalgebras for the Vietoris functor on the category of Stone spaces, we introduce and study the concept of a Vietoris bisimulation between two descriptive modal models, together with the associated notion of bisimilarity.
Nick Bezhanishvili +2 more
openaire +2 more sources
ACM SIGLOG News, 2011
This is a very personal review of the definition of probabilistic bisimulation on continuous state spaces and the logical characterization theorem. I only consider fully probabilistic reactive systems.
openaire +1 more source
This is a very personal review of the definition of probabilistic bisimulation on continuous state spaces and the logical characterization theorem. I only consider fully probabilistic reactive systems.
openaire +1 more source
1998
Bisimulation is a rich concept which appears in various areas of theoretical computer science. Its origin lie in concurrency theory and in modal logic. In this paper we review results about bisimulation, from bothh the point of view of automata and from a logical point of view. We also consider how bisimulation has a role in finite model theory, and we
openaire +1 more source
Bisimulation is a rich concept which appears in various areas of theoretical computer science. Its origin lie in concurrency theory and in modal logic. In this paper we review results about bisimulation, from bothh the point of view of automata and from a logical point of view. We also consider how bisimulation has a role in finite model theory, and we
openaire +1 more source
Reduction and Analysis of Boolean Control Networks by Bisimulation
SIAM Journal on Control and Optimization, 2021Rui Li, Tianguang Chu
exaly