Elements of interaction: Turing award lecture
Communications of the ACM
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Membrane Computing: An Introduction
Membrane Computing: An Introduction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Theoretical Computer Science
The Mobility Workbench - A Tool for the pi-Calculus
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
P Systems with Mobile Membranes
Natural Computing: an international journal
A Distributed Pi-Calculus
Universality results for P systems based on brane calculi operations
Theoretical Computer Science
Timed Mobile Ambients for Network Protocols
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Turing Completeness Using Three Mobile Membranes
UC '09 Proceedings of the 8th International Conference on Unconventional Computation
Simple, Enhanced and Mutual Mobile Membranes
Transactions on Computational Systems Biology XI
The Oxford Handbook of Membrane Computing
The Oxford Handbook of Membrane Computing
Encoding mobile ambients into the π-calculus
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Enhanced Mobile Membranes: Computability Results
Theory of Computing Systems
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
| Hi-index | 0.00 |