Concepedia

On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations

J.M. Davoren

Annals of Pure and Applied Logic · 2009 · 19 citations · 22 references

DOI

Concepts

References

22

Algebraic laws for nondeterminism and concurrency

Matthew Hennessy, Robin Milner · Journal of the ACM · 1985 · 1.4K citations

, , +15

Discrete abstractions of hybrid systems

Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere et al. · Proceedings of the IEEE · 2000 · 816 citations · Full text

, , +14

The Algebra of Topology

J. C. C. McKinsey, Alfred Tarski · Annals of Mathematics · 1944 · 534 citations

, , +8

Impulse differential inclusions: a viability approach to hybrid systems

Jean‐Pierre Aubin, John Lygeros, Marc Quincampoix et al. · IEEE Transactions on Automatic Control · 2002 · 283 citations

, , +8

THE GENERAL TOPOLOGY OF DYNAMICAL SYSTEMS

D. R. J. Chillingworth · Bulletin of the London Mathematical Society · 1995 · 202 citations

, , +9