Sciweavers

11 search results - page 1 / 3

» icalp 1992

14

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

A New Metric Between Polygons and How to Compute it

13 years 8 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 »

14

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

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

13 years 8 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 »

12

ICALP
1992
Springer

74views Programming Languages» more ICALP 1992»

Logic Programming Semantics Made Easy

13 years 8 months ago

Logic Programming Semantics Made Easy

Download www.cs.ucla.edu

Els Laenens, Dirk Vermeir, Carlo Zaniolo

claim paper

Read More »

10

ICALP
1992
Springer

73views Programming Languages» more ICALP 1992»

Reductions to Sets of Low Information Content

13 years 8 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 »

16

ICALP
1992
Springer

125views Programming Languages» more ICALP 1992»

Barbed Bisimulation

13 years 8 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 »