MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On the Complexity of Beta-Reduction." – sorted by Relevance.

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

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

16 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
…, P. Sabattini, April 1995. 95-12 On the Complexity of Beta-Reduction, A. Asperti, July 1995. 95…
Cited by 5 (4 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
… glu, R. Davoli, L.-A. Giachini, P. Sabattini, April 1995. 95-12 On the Complexity of Beta-Reduction, A…
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
…, R. Davoli, L.-A. Giachini, P. Sabattini, April 1995. 95-12 On the Complexity of Beta-Reduction, A…
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
…, P. Sabattini, April 1995. 95-12 On the Complexity of Beta-Reduction, A. Asperti, July 1995. 95…
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
…, April 1995. 95-12 On the Complexity of Beta-Reduction, A. Asperti, July 1995. 95-13 Optimal Multi…
Cited by 16 (1 self) – Add To MetaCart

Towards an Algebra of Actors
by Mauro Gaspari, Piazza Porta, S. Donato — 1996
…, P. Sabattini, April 1995. 95-12 On the Complexity of Beta-Reduction, A. Asperti, July 1995. 95…
Cited by 14 (6 self) – Add To MetaCart

and must testing in the join-calculus
by Cosimo Laneve, Piazza Porta, S. Donato — 1996
…. Davoli, L.-A. Giachini, P. Sabattini, April 1995. 95-12 On the Complexity of Beta-Reduction, A. Asperti…
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
…-12 On the Complexity of Beta-Reduction, A. Asperti, July 1995. 95-13 Optimal Multi-Block Read Schedules for Partitioned…
Cited by 9 (3 self) – Add To MetaCart

On Programming with View Synchrony
by Özalp Babaoglu, Alberto Bartoli, Gianluca Dini, Piazza Porta, S. Donato — 1995
…-12 On the Complexity of Beta-Reduction, A. Asperti, July 1995. 95-13 Optimal Multi-Block Read Schedules for Partitioned…
Cited by 7 (0 self) – Add To MetaCart

Knowledge-Level Speech Acts
by Mauro Gaspari, Mura Anteo Zamboni — 1997
…. Davoli, L.-A. Giachini, P. Sabattini, April 1995. 95-12 On the Complexity of Beta-Reduction, A. Asperti…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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