Sciweavers

11 search results - page 1 / 3

» icalp 1992

129

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

A New Metric Between Polygons and How to Compute it

15 years 10 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 »

137

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

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

15 years 10 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 »

140

ICALP
1992
Springer

74views Programming Languages» more ICALP 1992»

Logic Programming Semantics Made Easy

15 years 10 months ago

Logic Programming Semantics Made Easy

Download www.cs.ucla.edu

Els Laenens, Dirk Vermeir, Carlo Zaniolo

claim paper

Read More »

120

ICALP
1992
Springer

73views Programming Languages» more ICALP 1992»

Reductions to Sets of Low Information Content

15 years 10 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 »

199

ICALP
1992
Springer

125views Programming Languages» more ICALP 1992»

Barbed Bisimulation

15 years 10 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 »