Results 51 to 54 of about 231 (54)
Some of the next articles are maybe not open access.
Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
SIAM Journal on Computing, 2005exaly
Implementing a relational theorem prover for modal logic
International Journal of Computer Mathematics, 2011exaly
Functional systems in the context of temporal×modal logics with indexed flows
International Journal of Computer Mathematics, 2009exaly