MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Bologna Optimal Higher-Order Machine." – sorted by Relevance.

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

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

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

ATOM

A Truly Concurrent View of Linda Interprocess Communication
by N. Busi, R. Gorrieri, G. Zavattaro — 1997
…, S. Mangiaracina, C. Maioli, February 1995. 95-9 The Bologna Optimal Higher-Order Machine, A. Asperti…
Cited by 5 (4 self) – Add To MetaCart

Safe Operators: Brackets Closed Forever - Optimizing optimal lambda-calculus implementations
by Andrea Asperti, Juliusz Chroboczek — 1997 — Appl. Algebra Engrg. Comm. Comput
… their correctness. 2 Examples and Benchmarks The Bologna Optimal Higher-order Machine (bohm) is the first prototype…
Cited by 2 (0 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
… Optimal Higher-Order Machine, A. Asperti, C. Giovannetti, A. Naletto, March 1995. 95-10 Reliable…
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
… Optimal Higher-Order Machine, A. Asperti, C. Giovannetti, A. Naletto, March 1995. 95-10 Reliable…
Cited by 23 (9 self) – Add To MetaCart

The ShaPE of ShaDE: a coordination system
by S. Castellani, P. Ciancarini, D. Rossi, Piazza Porta, S. Donato — 1996
… of User Interface, S. Mangiaracina, C. Maioli, February 1995. 95-9 The Bologna Optimal Higher-Order…
Cited by 20 (8 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
…. Mangiaracina, C. Maioli, February 1995. 95-9 The Bologna Optimal Higher-Order Machine, A. Asperti, C…
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
…. Maioli, February 1995. 95-9 The Bologna Optimal Higher-Order Machine, A. Asperti, C. Giovannetti, A…
Cited by 16 (1 self) – Add To MetaCart

Towards an Algebra of Actors
by Mauro Gaspari, Piazza Porta, S. Donato — 1996
…. Mangiaracina, C. Maioli, February 1995. 95-9 The Bologna Optimal Higher-Order Machine, A. Asperti, C…
Cited by 14 (6 self) – Add To MetaCart

and must testing in the join-calculus
by Cosimo Laneve, Piazza Porta, S. Donato — 1996
… on the Design of User Interface, S. Mangiaracina, C. Maioli, February 1995. 95-9 The Bologna Optimal Higher-Order…
Cited by 11 (2 self) – Add To MetaCart

Synchronization Support and Group-Membership Services for Reliable Distributed Multimedia Applications
by Fabio Panzieri, Marco Roccetti, Piazza Porta, S. Donato — 1997 — in ACM Multimedia Systems
…, February 1995. 95-9 The Bologna Optimal Higher-Order Machine, A. Asperti, C. Giovannetti, A. Naletto, March…
Cited by 9 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB