Nadia Busi

Theor. Comput. Sci., 2009

Computational expressiveness of Genetic Systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2009

An expressiveness study of priority in process calculi.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2009

Deciding reachability problems in Turing-complete fragments of Mobile Ambients.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2009

Process discovery and Petri nets.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2009

On the expressive power of recursion, replication and iteration in process calculi.

[BibT_eX]

[DOI]

Maurizio Gabbrielli

Math. Struct. Comput. Sci., 2009

Efficient computation in rational-valued P systems.

[BibT_eX]

[DOI]

Miguel A. Gutiérrez-Naranjo

Mario J. Pérez-Jiménez

Math. Struct. Comput. Sci., 2009

Structural non-interference in elementary and trace nets.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2009

(Tissue) P systems with cell polarity.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2009

Mobile Petri nets.

[BibT_eX]

[DOI]

Andrea Asperti

Math. Struct. Comput. Sci., 2009

Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2009

2008

Foreword.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

A process algebraic view of shared dataspace coordination.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2008

2007

Using well-structured transition systems to decide divergence for catalytic P systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes.

[BibT_eX]

[DOI]

Proceedings of the First Workshop "From Biology To Concurrency and back", 2007

Causality in Membrane Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 8th International Workshop, 2007

Genetic Systems without Inhibition Rules.

[BibT_eX]

[DOI]

Proceedings of the Infinity in Logic and Computation, International Conference, 2007

On the Computational Power of Genetic Gates with Interleaving Semantics: The Power of Inhibition and Degradation.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 16th International Symposium, 2007

On the Expressive Power of Global and Local Priority in Process Calculi.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

Stochastic Simulation of Biological Systems with Dynamical Compartment Structure.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, International Conference, 2007

Computing with Genetic Gates.

[BibT_eX]

[DOI]

Proceedings of the Computation and Logic in the Real World, 2007

2006

On the Computational Power of Brane Calculi.

[BibT_eX]

[DOI]

Trans. Comp. Sys. Biology, 2006

Preface.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2006

Expressiveness Issues in Brane Calculi: A Survey.

[BibT_eX]

[DOI]

Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, 2006

Modeling and analysis of biological processes by mem(brane) calculi and systems.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference WSC 2006, 2006

Characterizing Workflow Nets Using Regions.

[BibT_eX]

[DOI]

Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

Some Notes on (Mem)Brane Computation.

[BibT_eX]

[DOI]

Miguel A. Gutiérrez-Naranjo

Proceedings of the Parallel Problem Solving from Nature, 2006

Computing with Genetic Gates, Proteins, and Membranes.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 7th International Workshop, 2006

A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers.

[BibT_eX]

[DOI]

Miguel A. Gutiérrez-Naranjo

Proceedings of the Membrane Computing, 7th International Workshop, 2006

: A Calculus for Service Oriented Computing.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2006

Choreography and Orchestration Conformance for System Design.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

Deciding Behavioural Properties in Brane Calculi.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, International Conference, 2006

2005

A Process Algebraic View of Coordination.

[BibT_eX]

[DOI]

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

Towards a formal framework for Choreography.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Workshops on Enabling Technologies (WETICE 2005), 2005

On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 6th International Workshop, 2005

Reachability Analysis in Boxed Ambients.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

Choreography and Orchestration: A Synergic Approach for System Design.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2005

A Distributed Implementation of Mobile Nets as Mobile Agents.

[BibT_eX]

[DOI]

Luca Padovani

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

Deciding Reachability in Mobile Ambients.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2005

Prioritized and Parallel Reactions in Shared Data Space Coordination Languages.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

2004

On the expressive power of movement and restriction in pure mobile ambients.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

Domain and event structure semantics for Petri nets with read and inhibitor arcs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

Data-Driven Coordination In Peer-To-Peer Information Systems.

[BibT_eX]

[DOI]

Alberto Montresor

Int. J. Cooperative Inf. Syst., 2004

Preface.

[BibT_eX]

[DOI]

Fabio Martinelli

Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, 2004

Security Issues in the Tuple-Space Coordination Model.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

Comparing Recursion, Replication, and Iteration in Process Calculi.

[BibT_eX]

[DOI]

Maurizio Gabbrielli

Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

Positive Non-interference in Elementary and Trace Nets.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003

Expired data collection in shared dataspaces.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

PeerSpaces: Data-driven Coordination in Peer-to-Peer Networks.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Replication vs. Recursive Definitions in Channel Based Calculi.

[BibT_eX]

[DOI]

Maurizio Gabbrielli

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

A Survey on Non-interference with Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002

Analysis issues in Petri nets with inhibitor arcs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Integrating TwoTowers and GreatSPN through a compact net semantics.

[BibT_eX]

[DOI]

Marina Ribaudo

Perform. Evaluation, 2002

On the Expressiveness of Movement in Pure Mobile Ambients.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Wide Area Network Computing, 2002

SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002

On the serializability of transactions in shared dataspaces with temporary data.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering and Peer-to-Peer Computing, 2002

State- and Event-Based Reactive Programming in Shared Dataspaces.

[BibT_eX]

[DOI]

Antony I. T. Rowstron

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001

On the Serializability of Transactions in JavaSpaces.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Concurrency and Coordination, 2001

Comparative analysis of the expressiveness of shared dataspace coordination.

[BibT_eX]

[DOI]

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

Publish/Subscribe vs. Shared Dataspace Coordination Infrastructures: Is It Just a Matter of Taste?.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 2001

Temporary Data in Shared Dataspace Coordination Languages.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2001

Coordination Models: A Guided Tour.

[BibT_eX]

Proceedings of the Coordination of Internet Agents: Models, Technologies, and Applications, 2001

2000

Comparing three semantics for Linda-like languages.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

On the Expressiveness of Linda Coordination Primitives.

[BibT_eX]

[DOI]

Inf. Comput., 2000

Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2000

Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations.

[BibT_eX]

[DOI]

Proceedings of the Applied Computing 2000, 2000

Integrating Two Towers and GreatSPN.

[BibT_eX]

Marina Ribaudo

Proceedings of the ICALP Workshops 2000, 2000

Compact Net Semantics for Process Algebras.

[BibT_eX]

Marina Ribaudo

Proceedings of the Formal Techniques for Distributed System Development, 2000

On the Semantics of JavaSpaces.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

On the Expressiveness of Event Notification in Data-Driven Coordination Languages.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2000

Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2000, 2000

Process Calculi for Coordination: From Linda to JavaSpaces.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1999

Mobile Nets.

[BibT_eX]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

1998

A Process Algebraic View of Linda Coordination Primitives.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1998

1997

On the Turing equivalence of Linda coordination primitives.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Expressiveness in Concurrency, 1997

Three Semantics of the Output Operation for Generative Communication.

[BibT_eX]

[DOI]

Proceedings of the Coordination Languages and Models, Second International Conference, 1997

Synthesis of Nets with Inhibitor Arcs.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

Non Sequential Semantics for Contextual P/T Nets.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1996, 1996

1995

A Distributed Semantics for EMPA Based on Stochastic Contextual Nets.

[BibT_eX]

[DOI]

Comput. J., 1995

A Petri Net Semantics for pi-Calculus.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994

Axiomatising ST-Bisimulation Equivalence.

[BibT_eX]

Rob J. van Glabbeek

Proceedings of the Programming Concepts, 1994

Distributed Conflicts in Communicating Systems.

[BibT_eX]

[DOI]