LICS
1992
IEEE
13 years 9 months ago
1992
IEEE
The aim of this paper is to find the finest `observable' and `implementable' equivalence on concurrent processes. This is a part of a larger programme to develop a theor...
LICS
1992
IEEE
13 years 9 months ago
1992
IEEE
The calculus of binary relations was introduced by De Morgan in 1860, and was subsequently greatly developed by Peirce and Schr
LICS
1992
IEEE
13 years 9 months ago
1992
IEEE
We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this techni...
LICS
1992
IEEE
13 years 9 months ago
1992
IEEE
LICS
1992
IEEE
13 years 9 months ago
1992
IEEE
LICS
1992
IEEE
13 years 9 months ago
1992
IEEE
LICS
1992
IEEE
13 years 9 months ago
1992
IEEE
d Abstract) Frank S. de Boer, Jan Willem Klopyz , Catuscia Palamidessiyx We study the paradigm of asynchronous process communication, as contrasted with the synchronous communicat...