1768 search results - page 28 / 354 » A Logic for Algebraic Effects |
TAMC
2009
Springer
14 years 3 months ago
2009
Springer
ERSHOV
2003
Springer
14 years 1 months ago
2003
Springer
RELMICS
2009
Springer
14 years 1 months ago
2009
Springer
IPPS
2000
IEEE
14 years 26 days ago
2000
IEEE
CSL
1999
Springer
14 years 23 days ago
1999
Springer
We study the following problem: Given a transition system T and its quotient T/∼ under an equivalence ∼, which are the sets L, L′ of Hennessy-Milner formulae such that: if Ï...