| Symbolic Lookaheads for Bottom-up Parsing. | 0 | 0.34 | 2016 |
| An imperative language of self-modifying graphs for biological systems | 1 | 0.40 | 2012 |
| Expressing global priorities by best-matching | 0 | 0.34 | 2012 |
| A tool for checking probabilistic properties of COWS services | 1 | 0.38 | 2010 |
| Approximate model checking of stochastic COWS | 2 | 0.39 | 2010 |
| BlenX Static and Dynamic Semantics | 8 | 0.55 | 2009 |
| Process Calculi Abstractions for Biology | 12 | 0.67 | 2009 |
| BlenX4Bio --- BlenX for Biologists | 4 | 0.47 | 2009 |
| A Translation of Beta-binders in a Prioritized Pi-calculus | 1 | 0.35 | 2009 |
| Communicating by compatibility | 5 | 0.55 | 2008 |
| Formal analysis of BPMN via a translation into COWS | 20 | 1.00 | 2008 |
| An automatic translation of SBML into Beta-binders. | 1 | 0.34 | 2008 |
| On Beta-Binders Communications | 2 | 0.39 | 2008 |
| Developing An Hierarchical Simulator for Beta-binders | 2 | 0.39 | 2006 |
| Process Calculi in a Biological Context | 4 | 0.51 | 2005 |
| Operational patterns in beta-binders | 19 | 1.41 | 2005 |
| Types and full abstraction for polyadic pi-calculus | 3 | 0.45 | 2005 |
| Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers | 18 | 1.06 | 2005 |
| Formal Executable Descriptions of Biological Systems | 0 | 0.34 | 2005 |
| Modeling kohn interaction maps with beta-binders: an example | 8 | 0.85 | 2005 |
| Model checking biological systems described using ambient calculus | 10 | 0.68 | 2004 |
| Modelling the dynamics of biosystems. | 22 | 1.40 | 2004 |
| Beta binders for biological interactions | 151 | 6.87 | 2004 |
| Performance analysis of a UML micro-business case study | 1 | 0.35 | 2004 |
| A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment | 20 | 1.36 | 2004 |
| Explicit substitutions for pi-congruences | 0 | 0.34 | 2001 |
| On Synchronous and Asynchronous Mobile Processes | 8 | 0.53 | 2000 |
| The Pi-Calculus: Notes on Labelled Semantic | 1 | 0.36 | 1999 |
| Pi-Congruences as CCS Equivalences | 0 | 0.34 | 1998 |
| On Encoding p-pi in m-pi | 3 | 0.41 | 1998 |
| A &pgr;-calculus with explicit substitutions | 13 | 1.02 | 1996 |
| The Weak Late pi-Calculus Semantics as Observation Equivalence | 8 | 0.66 | 1995 |
| A Pi-Calculus with Explicit Substitutions: the Late Semantics | 7 | 1.15 | 1994 |
| A Fully Parallel Calculus of Synchronizing Processes | 1 | 0.38 | 1993 |
