AMAST 1995 | Sciweavers

35

click to vote

AMAST
1995
Springer

86views Software Engineering» more AMAST 1995»

Information Algebras

14 years 5 months ago

Download diuf.unifr.ch

Ewa Orlowska

claim paper

Read More »

51

click to vote

AMAST
1995
Springer

133views Software Engineering» more AMAST 1995»

A Calculus of Countable Broadcasting Systems

14 years 5 months ago

Download staff.aist.go.jp

In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We deﬁne an observational congruence relation in CCB after basic deﬁnitions...

Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki

claim paper

Read More »

47

click to vote

AMAST
1995
Springer

116views Software Engineering» more AMAST 1995»

An Object-Oriented Front-end for Deductive Databases

14 years 5 months ago

Download www.cs.wayne.edu

: 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...

Hasan M. Jamil, Laks V. S. Lakshmanan

claim paper

Read More »

32

click to vote

AMAST
1995
Springer

114views Software Engineering» more AMAST 1995»

Petri Nets, Traces, and Local Model Checking

14 years 5 months ago