2540 search results - page 1 / 508 » Abstract Logics as Dialgebras |
ENTCS
2002
13 years 4 months ago
2002
Logics as Dialgebras Alessandra Palmigiano Departament de L`ogica, Hist`oria i Filosofia de la Ci`encia, Universitat de Barcelona The aim of this report is to propose a line of re...
FUIN
2007
13 years 4 months ago
2007
Abstract. Josephs and Udding’s DI-Algebra offers a convenient way of specifying and verifying designs that must rely upon delay-insensitive signalling between modules (asynchrono...
TIME
2005
IEEE
13 years 10 months ago
2005
IEEE
ECEASST
2010
13 years 1 months ago
2010
ation and logic. The logic courses mainly provided a very abstract and
LICS
2007
IEEE
13 years 10 months ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...