Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
11
search results - page 1 / 3
»
icalp 1992
Sort
relevance
views
votes
recent
update
View
thumb
title
31
click to vote
ICALP
1992
Springer
77
views
Programming Languages
»
more
ICALP 1992
»
A New Metric Between Polygons and How to Compute it
14 years 2 months ago
Download
www.inf.fu-berlin.de
Günter Rote
claim paper
Read More »
30
click to vote
ICALP
1992
Springer
77
views
Programming Languages
»
more
ICALP 1992
»
Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)
14 years 2 months ago
Download
www.cs.tau.ac.il
Alexander Moshe Rabinovich
claim paper
Read More »
33
click to vote
ICALP
1992
Springer
74
views
Programming Languages
»
more
ICALP 1992
»
Logic Programming Semantics Made Easy
14 years 2 months ago
Download
www.cs.ucla.edu
Els Laenens, Dirk Vermeir, Carlo Zaniolo
claim paper
Read More »
28
click to vote
ICALP
1992
Springer
73
views
Programming Languages
»
more
ICALP 1992
»
Reductions to Sets of Low Information Content
14 years 2 months ago
Download
www.uni-ulm.de
Vikraman Arvind, Yenjo Han, Lane A. Hemachandra, J...
claim paper
Read More »
36
click to vote
ICALP
1992
Springer
125
views
Programming Languages
»
more
ICALP 1992
»
Barbed Bisimulation
14 years 2 months ago
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 »