Causality in Membrane Systems

Cached

Download Links

by Nadia Busi
Citations:6 - 0 self

Active Bibliography

2 Towards a causal semantics for Brane Calculi – Nadia Busi - 2007
641 A formal basis for architectural connection – Robert Allen, David Garlan - 1997
623 Universally composable security: A new paradigm for cryptographic protocols – Ran Canetti - 2013
24 Models for Name-Passing Processes: Interleaving and Causal – Gian Luca Cattani, Peter Sewell - 2000
453 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
381 A Query Language and Optimization Techniques for Unstructured Data – Peter Buneman, Susan Davidson, Gerd Hillebrand, Dan Suciu - 1996
361 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
346 Specifying Distributed Software Architectures – Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer - 1995
330 Ownership Types for Flexible Alias Protection – David G. Clarke, John M. Potter, James Noble - 1998