MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Effective Applicative Structures." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

25 documents found, showing 1 through 10. Next 10 →

ATOM

Effective Applicative Structures
by Andrea Asperti, Agata Ciabattoni, Piazza Porta, S. Donato — 1995 — In: Proceedings of the 6th biennial conference on Category Theory in Computer Science (CTCS'95). Springer-Verlag Lecture Notes in Computer Science 953 81--95
…Effective Applicative Structures Andrea Asperti Agata Ciabattoni Technical Report UBLCS-95…
Cited by 5 (1 self) – Add To MetaCart

A Mechanism for Scalable Event Notification and Delivery in Linux
by Michal Ostrowski — 2000
… and application and their eect on application structure and behavior. From this examination we nd…
Cited by 6 (1 self) – Add To MetaCart

The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties
by Riccardo Focardi, Roberto Gorrieri, Piazza Porta, S. Donato — IEEE Transactions on Software Engineering
… (Revised February 1995). 95-4 Effective Applicative Structures, A. Asperti, A. Ciabattoni, January 1995. 95…
Cited by 57 (13 self) – Add To MetaCart

Enriched View Synchrony: A Programming Paradigm for Partitionable Asynchronous Distributed Systems
by Özalp Babaoglu, Alberto Bartoli, Gianluca Dini, Mura Anteo Zamboni — 1996
…-4 Effective Applicative Structures, A. Asperti, A. Ciabattoni, January 1995. 95-5 An Open Framework…
Cited by 19 (3 self) – Add To MetaCart

Group Membership and View Synchrony in Partitionable Asynchronous Distributed Systems: Specifications
by Özalp Babaoglu, Renzo Davoli, Alberto Montresor, Piazza Porta, S. Donato — 1996
… Applicative Structures, A. Asperti, A. Ciabattoni, January 1995. 95-5 An Open Framework for Cooperative…
Cited by 16 (1 self) – Add To MetaCart

Replicated File Management in Large-Scale Distributed Systems
by Özalp Babaoglu, Alberto Bartoli, Gianluca Dini, Piazza Porta, S. Donato — 1995
… February 1995). 95-4 Effective Applicative Structures, A. Asperti, A. Ciabattoni, January 1995. 95…
Cited by 2 (0 self) – Add To MetaCart

structural diversity
by Walter Pirovano, K Anton Feenstra, Jaap Heringa — 2008
… to structural variation is a bottleneck for the effective application of structural alignment approaches…
Add To MetaCart

RELACS: A Communications Infrastructure for Constructing Reliable Applications in Large
by Ozalp Babaoglu, Renzo Davoli, Luigi-alberto Giachini, Mary Baker, Piazza Porta, S. Donato — 1995
… Recognition, O. Babao glu, E. Fromentin, M. Raynal, January 1995. 95-4 Effective Applicative Structures, A…
Cited by 71 (4 self) – Add To MetaCart

The Inherent Cost of Strong-Partial View-Synchronous Communication
by Özalp Babaoglu, Renzo Davoli, Luigi-alberto Giachini, Paolo Sabattini, Piazza Porta, S. Donato — 1995
…, January 1995 (Revised February 1995). 95-4 Effective Applicative Structures, A. Asperti, A. Ciabattoni…
Cited by 23 (3 self) – Add To MetaCart

Integrating Performance and Functional Analysis of Concurrent Systems with EMPA
by Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri, Piazza Porta, S. Donato — 1996
…, January 1995 (Revised February 1995). 95-4 Effective Applicative Structures, A. Asperti, A. Ciabattoni…
Cited by 23 (9 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB