Results 1 
4 of
4
Effective Applicative Structures
 In: Proceedings of the 6th biennial conference on Category Theory in Computer Science (CTCS'95). SpringerVerlag Lecture Notes in Computer Science 953 8195
, 1995
"... S. All local authors can be reached viaemail at theaddress lastname@cs.unibo.it. Written requests and comments should be addressed to tradmin@cs.unibo.it. UBLCS Technical Report Series 9320 An Information Flow Security Property for CCS, R. Focardi, R. Gorrieri, October 1993. 9321 A Classifica ..."
Abstract

Cited by 7 (2 self)
 Add to MetaCart
S. All local authors can be reached viaemail at theaddress lastname@cs.unibo.it. Written requests and comments should be addressed to tradmin@cs.unibo.it. UBLCS Technical Report Series 9320 An Information Flow Security Property for CCS, R. Focardi, R. Gorrieri, October 1993. 9321 A Classification of Security Properties, R. Focardi, R. Gorrieri, October 1993. 9322 Real Time Systems: A Tutorial, F. Panzieri, R. Davoli, October 1993. 9323 A Scalable Architecture for Reliable Distributed Multimedia Applications, F. Panzieri, M. Roccetti, October 1993. 9324 WideArea Distribution Issues in Hypertext Systems, C. Maioli, S. Sola, F. Vitali, October 1993. 9325 On Relating Some Models for Concurrency, P. Degano, R. Gorrieri, S. Vigna, October 1993. 9326 Axiomatising ST Bisimulation Equivalence, N. Busi, R. van Glabbeek, R. Gorrieri, December 1993. 9327 A Theory of Processeswith Durational Actions, R. Gorrieri, M. Roccetti, E. Stancampiano, December1993. 941 Further Modifications t...
A Chemical Abstract Machine for Graph Reduction
, 1992
"... Graph reduction is an implementation technique for the lazy lcalculus. It has been used to implement many nonstrict functional languages, such as lazy ML, Gofer and Miranda. Parallel graph reduction allows for concurrent evaluation. In this paper, we present parallel graph reduction as a Chemical ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
Graph reduction is an implementation technique for the lazy lcalculus. It has been used to implement many nonstrict functional languages, such as lazy ML, Gofer and Miranda. Parallel graph reduction allows for concurrent evaluation. In this paper, we present parallel graph reduction as a Chemical Abstract Machine, and show that the resulting testing semantics is adequate wrt testing equivalence for the lazy lcalculus. We also present a πcalculus implementation of the graph reduction machine, and show that the resulting testing semantics is also adequate.
On Completability of Partial
"... A Partial Combinatory Algebra is completable if it can be extended to a total one. Klop [11, 12] gave a sufficient condition for completability of a PCA M = (M,·,K,S) in the form of ten axioms (inequalities) on terms of M. We prove that Klop’s sufficient condition is equivalent to the existence of a ..."
Abstract
 Add to MetaCart
A Partial Combinatory Algebra is completable if it can be extended to a total one. Klop [11, 12] gave a sufficient condition for completability of a PCA M = (M,·,K,S) in the form of ten axioms (inequalities) on terms of M. We prove that Klop’s sufficient condition is equivalent to the existence of an injective smn function over M (that in turns is equivalent to the Padding Lemma). This is proved by working with an alternative characterization of PCA’s, recently introduced by the authors (Effective Applicative Structures). As a corollary, we show that nine of Klop’s ten axioms are actually redundant (the so called Barendregt’s axiom is enough to guarantee completability). Moreover, we prove that any Uniformly Reflexive Structure [17, 18, 16] is completable. 1
Contents
"... Index of definitions 129 A fully abstract semantics for concurrent graph reduction ..."
Abstract
 Add to MetaCart
Index of definitions 129 A fully abstract semantics for concurrent graph reduction