Sciweavers

4 search results - page 1 / 1
» Refinement Algebra with Explicit Probabilism
Sort
View
TASE
2009
IEEE
15 years 4 months ago
Refinement Algebra with Explicit Probabilism
T. M. Rabehaja, Jeff W. Sanders
JUCS
2008
147views more  JUCS 2008»
14 years 10 months ago
On BCK Algebras - Part I.b: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras
: 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...
Afrodita Iorgulescu
OWLED
2008
14 years 11 months ago
The OWL in the CASL - Designing Ontologies Across Logics
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...
Oliver Kutz, Dominik Lücke, Till Mossakowski,...
71
Voted
CISC
2005
Springer
116views Cryptology» more  CISC 2005»
15 years 3 months ago
Specifying Authentication Using Signal Events in CSP
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...
Siraj A. Shaikh, Vicky J. Bush, Steve A. Schneider