Incompleteness of behavioural logics (2000)

by Samuel Buss, Grigore Rosu
Venue:Coalgebraic Methods in Computer Science
Add To MetaCart
Results 1 - 1 of 1

CafeOBJ: Logical Foundations and Methodologies

by Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata - Computing and Informatics , 2003
"... CafeOBJ is an executable industrial strength multi-logic algebraic speci cation language which is a modern successor of OBJ and incorporates several new algebraic speci cation paradigms. ..."
Abstract - Cited by 5 (0 self) - Add to MetaCart
CafeOBJ is an executable industrial strength multi-logic algebraic speci cation language which is a modern successor of OBJ and incorporates several new algebraic speci cation paradigms.