4 search results - page 1 / 1 » amast 1995 |
AMAST
1995
Springer
13 years 8 months ago
1995
Springer
AMAST
1995
Springer
13 years 8 months ago
1995
Springer
AMAST
1995
Springer
13 years 8 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 8 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...