Sciweavers

11 search results - page 1 / 3

» icalp 1992

31

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

A New Metric Between Polygons and How to Compute it

14 years 2 months ago

A New Metric Between Polygons and How to Compute it

Download www.inf.fu-berlin.de

Günter Rote

claim paper

Read More »

30

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)

14 years 2 months ago

Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)

Download www.cs.tau.ac.il

Alexander Moshe Rabinovich

claim paper

Read More »

33

ICALP
1992
Springer

74views Programming Languages» more ICALP 1992»

Logic Programming Semantics Made Easy

14 years 2 months ago

Logic Programming Semantics Made Easy

Download www.cs.ucla.edu

Els Laenens, Dirk Vermeir, Carlo Zaniolo

claim paper

Read More »

28

ICALP
1992
Springer

73views Programming Languages» more ICALP 1992»

Reductions to Sets of Low Information Content

14 years 2 months ago

Reductions to Sets of Low Information Content

Download www.uni-ulm.de

Vikraman Arvind, Yenjo Han, Lane A. Hemachandra, J...

claim paper

Read More »

36

ICALP
1992
Springer

125views Programming Languages» more ICALP 1992»

Barbed Bisimulation

14 years 2 months ago

Barbed Bisimulation

Download www.pps.jussieu.fr

This paper defines a probabilistic barbed congruence which turns out to coincide with observational equivalence in a probabilistic extension of CCS. Based on this coincidence resu...

Robin Milner, Davide Sangiorgi

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »