4 search results - page 1 / 1 » Refinement Algebra with Explicit Probabilism |
TASE
2009
IEEE
14 years 23 days ago
2009
IEEE
JUCS
2008
13 years 6 months ago
2008
: Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classi...
OWLED
2008
13 years 7 months ago
2008
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
CISC
2005
Springer
13 years 11 months ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...