AMAST
1995
Springer
13 years 11 months ago
1995
Springer
AMAST
1995
Springer
13 years 11 months ago
1995
Springer
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
AMAST
1995
Springer
13 years 11 months ago
1995
Springer
: We present the Orlog deductive object-oriented database system prototype. The implementation of the system relies on the idea of reducing inheritance to deduction and giving a re...
AMAST
1995
Springer
13 years 11 months ago
1995
Springer
