Linda Brodo

Available identifiers

zbMath Open brodo.lindaWikidataQ92147122 ScholiaQ92147122MaRDI QIDQ1727995

List of research outcomes

Publication	Date of Publication	Type
Enhancing Reaction Systems: A Process Algebraic Approach	2024-03-14	Paper
Process calculi for biological processes	2023-11-30	Paper
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems	2023-04-13	Paper
A process algebraic approach to reaction systems	2021-08-11	Paper
A logical and graphical framework for reaction systems	2021-06-23	Paper
A constraint-based language for multiparty interactions	2021-02-22	Paper
The \texttt{link}-calculus for open multiparty interactions	2020-12-15	Paper
Verification techniques for a network algebra	2020-11-09	Paper
A formal approach to open multiparty interactions	2019-02-21	Paper
A flat process calculus for nested membrane interactions	2019-02-08	Paper
On the expressiveness of \(\pi\)-calculus for encoding mobile ambients	2018-01-11	Paper
Symbolic Semantics for Multiparty Interactions in the Link-Calculus	2017-04-04	Paper
A Global Occurrence Counting Analysis for Brane Calculi	2016-02-05	Paper
Static evidences for attack reconstruction	2016-01-08	Paper
Control Flow Analysis of Generalised Boolean Networks	2014-03-21	Paper
Open Multiparty Interaction	2013-09-13	Paper
On the expressiveness of the \(\pi \)-calculus and the mobile ambients	2011-01-21	Paper
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems	2010-02-05	Paper
Reflecting mobile ambients into the \(\pi \)-calculus	2010-02-05	Paper
Static Detection of Logic Flaws in Service-Oriented Applications	2009-10-22	Paper
Deducing Interactions in Partially Unspecified Biological Systems	2007-11-29	Paper

Research outcomes over time

This page was built for person: Linda Brodo