<--- Back to Details
First PageDocument Content
Membrane technology / Models of computation / Chemistry / Biology / Membrane biology / P system / Membrane / Cell membrane / Mobile membranes
Date: 2015-12-18 06:55:15
Membrane technology
Models of computation
Chemistry
Biology
Membrane biology
P system
Membrane
Cell membrane
Mobile membranes

Fundamenta Informaticae XX–15 1 IOS Press

Add to Reading List

Source URL: pages.di.unipi.it

Download Document from Source Website

File Size: 185,10 KB

Share Document on Facebook

Similar Documents

Models of computation / Robot / Membrane computing / Natural computing / P system / Computing / Autonomous robot / Engineering / Academia / Mobile Membranes / Outline of robotics

Microsoft Word - IBSNew_Trends_in_iTECH-final

DocID: 1r6t0 - View Document

Π-calculus / Process calculus / Mathematics / Congruence / Calculus / Type system / Actor model and process calculi / Mobile Membranes / Process calculi / Applied mathematics / Computer science

Type Systems Vasco T. Vasconcelos GLOBAN 2006 THE GLOBAL COMPUTING APPROACH TO ANALYSIS OF SYSTEMS International Summer School at DTU, August 21-25, 2006

DocID: 1as2k - View Document

Mathematics / Computer science / Ambient calculus / Π-calculus / Bisimulation / Lambda calculus / Mobile Membranes / Theoretical computer science / Process calculi / Applied mathematics

Communication and Mobility Control in Boxed Ambients ? Michele Bugliesi Dipartimento di Informatica, Universit` a Ca’ Foscari, Venezia

DocID: 18SSj - View Document

Ambient calculus / Mathematics / Computer science / Π-calculus / Lambda calculus / Mobile Membranes / Process calculi / Theoretical computer science / Applied mathematics

Communication Interference in Mobile Boxed Ambients? Michele Bugliesi 1 , Silvia Crafa 1 , Massimo Merro 2 , and Vladimiro Sassone 3 Abstract. Boxed Ambients (BA) replace Mobile Ambients’open capability with communicat

DocID: 18F6h - View Document

Algebra / Valuation / Symbol / Mobile Membranes / Natural deduction / Process calculi / Abstract algebra / Ambient calculus

Secure Safe Ambients Michele Bugliesi Universita´ “Ca’ Foscari”, Venice

DocID: 18kN4 - View Document