Roberto Bruni

Theor. Comput. Sci., 2021

A logical and graphical framework for reaction systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2021

Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Natural Computing, 2021

A Logic for Locally Complete Abstract Interpretations.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Bayesian network semantics for Petri nets.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

Abstract extensionality: on the properties of incomplete abstract interpretations.

[BibT_eX]

[DOI]

Roberto Giacobazzi

Roberta Gori

Isabel Garcia-Contreras

Dusko Pavlovic

Proc. ACM Program. Lang., 2020

The link-calculus for open multiparty interactions.

[BibT_eX]

[DOI]

Inf. Comput., 2020

SOS Rules for Equivalences of Reaction Systems.

[BibT_eX]

[DOI]

Proceedings of the Functional and Constraint Logic Programming, 2020

Algebras for Tree Decomposable Graphs.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 13th International Conference, 2020

2019

A formal approach to open multiparty interactions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Concurrency and Probability: Removing Confusion, Compositionally.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2019

A Coalgebraic Approach to Unification Semantics of Logic Programming.

[BibT_eX]

[DOI]

Giorgio Mossa

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

Data-Driven Choreographies à la Klaim.

[BibT_eX]

[DOI]

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

Enhancing Reaction Systems: A Process Algebraic Approach.

[BibT_eX]

[DOI]

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

Petri Inheritance: The Foundation of Nondeterministic, Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

2018

Event Structures for Petri nets with Persistence.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2018

Code obfuscation against abstraction refinement attacks.

[BibT_eX]

[DOI]

Roberto Giacobazzi

Roberta Gori

Formal Aspects Comput., 2018

Unifying Inference for Bayesian and Petri Nets.

[BibT_eX]

[DOI]

CoRR, 2018

Code Obfuscation Against Abstract Model Checking Attacks.

[BibT_eX]

[DOI]

Roberto Giacobazzi

Roberta Gori

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

2017

Models of Computation

[BibT_eX]

[DOI]

Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-319-42900-7, 2017

2015

Reconfigurable and Software-Defined Networks of Connectors and Components.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation.

[BibT_eX]

[DOI]

Martin Wirsing

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Constraint design rewriting.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Modelling and analyzing adaptive self-assembly strategies with Maude.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

cJoin: Join with communicating transactions.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2015

CaSPiS: a calculus of sessions, pipelines and services.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2015

A coalgebraic semantics for causality in Petri nets.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2015

Revisiting causality, coalgebraically.

[BibT_eX]

[DOI]

Acta Informatica, 2015

Causal Trees, Finally.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

A Normal Form for Stateful Connectors.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rewriting, and Concurrency, 2015

A White Box Perspective on Behavioural Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Software, 2015

Awareness and Control in Adaptable Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014

A sound and complete theory of graph transformations for service programming with sessions and pipelines.

[BibT_eX]

[DOI]

Liang Zhao

Zhiming Liu

Sci. Comput. Program., 2014

On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

A Flat Process Calculus for Nested Membrane Interactions.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2014

From Hierarchical BIP to Petri Calculus.

[BibT_eX]

[DOI]

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Behaviour, Interaction and Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Specification, Algebra, and Software, 2014

2013

Adaptation is a Game.

[BibT_eX]

[DOI]

Adv. Math. Commun., 2013

Connector algebras for C/E and P/T nets' interactions.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2013

2012

Towards Interaction Reliability in Concurrent Applications.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2012

Adaptable Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Open Multiparty Interaction.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

LTS Semantics for Compensation-Based Processes.

[BibT_eX]

[DOI]

Anne Kersten Kauer

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

A Conceptual Framework for Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2012

First-Order Dynamic Logic for Compensable Processes.

[BibT_eX]

[DOI]

Carla Ferreira

Anne Kersten Kauer

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

2011

On Structured Model-Driven Transformations.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2011

Concurrency and Interaction in Complex Systems.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2011

Applying Process Analysis to the Italian eGovernment Enterprise Architecture.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

A Survey on Basic Connectors and Buffers.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Evaluating the Performance of Model Transformation Styles in Maude.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Connector Algebras, Petri Nets, and BIP.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2011

A Connector Algebra for P/T Nets Interactions.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

A Formal Support to Business and Architectural Design for Service-Oriented Systems.

[BibT_eX]

[DOI]

Howard Foster

Emilio Tuosto

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Hierarchical Models for Service-Oriented Systems.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Static Analysis Techniques for Session-Oriented Calculi.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Modeling a Service and Session Calculus with Hierarchical Graph Transformation.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

An Algebra of Hierarchical Graphs and its Application to Structural Encoding.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2010

A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

An Algebra of Hierarchical Graphs.

[BibT_eX]

[DOI]

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning.

[BibT_eX]

[DOI]

Artur Boronat

Generoso Paolillo

Proceedings of the Formal Techniques for Distributed Systems, 2010

Graph Representation of Sessions and Pipelines for Structured Service Programming.

[BibT_eX]

[DOI]

Zhiming Liu

Liang Zhao

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

On GS-Monoidal Theories for Graphs with Nesting.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009

Ten virtues of structured graphs.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

A Graph Syntax for Processes and Services.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

Calculi for Service-Oriented Computing.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Web Services, 2009

Static Detection of Logic Flaws in Service-Oriented Applications.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Applications of Security Analysis, 2009

A Service-Oriented UML Profile with Formal Support.

[BibT_eX]

[DOI]

Matthias M. Hölzl

Nora Koch

Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

2008

Parametric synchronizations in mobile nominal calculi.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Hierarchical Design Rewriting with Maude.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

On Symbolic Semantics for Name-decorated Contexts.

[BibT_eX]

[DOI]

Proceedings of the First Interaction and Concurrency Experiences Workshop, 2008

Style-Based Architectural Reconfigurations.

[BibT_eX]

Bull. EATCS, 2008

Tiles for Reo.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Provably Correct Implementations of Services.

[BibT_eX]

[DOI]

Rocco De Nicola

Michele Loreti

Leonardo Gaetano Mezzina

Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

Sessions and Pipelines for Structured Service Programming.

[BibT_eX]

[DOI]

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

Multiparty Sessions in SOC.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

Models of Computation: A Tribute to Ugo Montanari's Vision.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

Graph-Based Design and Analysis of Dynamic Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines.

[BibT_eX]

[DOI]

Leonardo Gaetano Mezzina

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

A semantic framework for open processes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Modelling Dynamic Software Architectures using Typed Graph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, 2007

Service Oriented Architectural Design.

[BibT_eX]

[DOI]

Emilio Tuosto

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Deducing Interactions in Partially Unspecified Biological Systems.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Biology, Second International Conference, 2007

2006

Semantic foundations for generalized rewrite theories.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

A basic algebra of stateless connectors.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Preface.

[BibT_eX]

[DOI]

Dániel Varró

Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Event Structure Semantics for Dynamic Graph Grammars.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Translating Orc Features into Petri Nets and the Join Calculus.

[BibT_eX]

[DOI]

Vasco Thudichum Vasconcelos

Emilio Tuosto

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

SCC: A Service Centered Calculus.

[BibT_eX]

[DOI]

Gianluigi Zavattaro

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

PRISMA: A Mobile Calculus with Parametric Synchronization.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

Dynamic Graph Transformation Systems.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, Third International Conference, 2006

Event Structure Semantics for Nominal Calculi.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

Non-sequential Behaviour of Dynamic Nets.

[BibT_eX]

[DOI]

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005

Observational congruences for dynamically reconfigurable tile systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Theoretical foundations for compensations in flow composition languages.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

From Theory to Practice in Transactional Composition of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Deriving Weak Bisimulation Congruences from Reduction Systems.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Comparing Two Approaches to Compensable Flow Composition.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Complete Axioms for Stateless Connectors.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004

Concurrent models for Linda with transactions.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2004

Modeling Fresh Names in the ?-calculus Using Abstractions.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

Prototype Platforms for Distributed Agreements.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, 2004

Nested Commits for Mobile Calculi: Extending Join.

[BibT_eX]

[DOI]

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

New Insights on Architectural Connectors.

[BibT_eX]

[DOI]

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

Symbolic Equivalences for Open Systems.

[BibT_eX]

[DOI]

Proceedings of the Global Computing, IST/FET International Workshop, 2004

Summary 3: On Graph(ic) Encodings.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004

2003

Flat Committed Join in Join.

[BibT_eX]

[DOI]

Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

Algebraic Theories for Contextual Pre-nets.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Generalized Rewrite Theories.

[BibT_eX]

[DOI]

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

Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002

Dynamic connectors for concurrency.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Normal forms for algebras of connection.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2002

Tiling Transactions in Rewriting Logic.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002

Pre-nets, Read Arcs and Unfolding: A Functorial Presentation.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

AGILE: Software Architecture for Mobility.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Orchestrating Transactions in Join Calculus.

[BibT_eX]

[DOI]

Cosimo Laneve

Proceedings of the CONCUR 2002, 2002

Bisimulation by Unification.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

An interactive semantics of logic programming.

[BibT_eX]

[DOI]

Francesca Rossi

Theory Pract. Log. Program., 2001

Functorial Models for Petri Nets.

[BibT_eX]

[DOI]

Inf. Comput., 2001

Zero-safe net models for transactions in Linda.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Concurrency and Coordination, 2001

Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic.

[BibT_eX]

[DOI]

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

Some algebraic laws for spans.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Relational Methods in Software, 2001

Two Algebraic Process Semantics for Contextual Nets.

[BibT_eX]

[DOI]

Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

Transactions and Zero-Safe Nets.

[BibT_eX]

[DOI]

Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

2000

Zero-Safe Nets: Comparing the Collective and Individual Token Approaches.

[BibT_eX]

[DOI]

Inf. Comput., 2000

Open Ended Systems, Dynamic Bisimulation and Tile Logic.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 2000

Algebraic Models for Contextual Nets.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic.

[BibT_eX]

[DOI]

David de Frutos-Escrig

Narciso Martí-Oliet

Proceedings of the CONCUR 2000, 2000

Executing Transactions in Zero-Safe Nets.

[BibT_eX]

[DOI]

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

1999

Functorial semantics for Petri nets under the individual token philosophy.

[BibT_eX]

[DOI]

Proceedings of the Conference on Category Theory and Computer Science, 1999

Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

Executable Tile Specifications for Process Calculi.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 1999

1998

Internal strategies in a rewriting implementation of tile systems.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

A logic for modular descriptions of asynchronous and synchronized concurrent systems.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Normal Forms for Partitions and Relations.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

A Comparison of Petri Net Semantics under the Collective Token Philosophy.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 1998

1997

Zero-safe nets, or transition synchronization made simple.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Expressiveness in Concurrency, 1997

Zero-safe nets: The individual token approach.

[BibT_eX]

[DOI]