4217 search results - page 88 / 844 » Computational indistinguishability logic |
GG
2008
Springer
14 years 11 months ago
2008
Springer
WS
2008
ACM
14 years 9 months ago
2008
ACM
NDJFL
2010
14 years 4 months ago
2010
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
ICALP
2005
Springer
15 years 3 months ago
2005
Springer
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...