Membrane computing is a branch of natural computing which investigates computing models abstra...

This volume is based on the workshop"e;Modelling in Molecular Biology"e; that tookplacein...

This volume refers to the formal description of mobility in computer science, using p-calculus...

This book constitutes the refereed proceedings of the 12th International Symposium on Fundamental...

This book presents a set theoretical development for the foundations of the theory of atomic and ...

In this book the authors present an alternative set theory dealing with a more relaxed notion of ...

The design of formal calculi in which fundamental concepts underlying interactive systems can ...

This book constitutes the refereed proceedings of the 11th International Colloquium on Theoretica...

This book presents a set theoretical development for the foundations of the theory of atomic a...

In this book the authors present an alternative set theory dealing with a more relaxed notion ...

Membrane computing is a branch of natural computing which investigates computing models abstra...

This book presents a set theoretical development for the foundations of the theory of atomic a...