Paola Quaglia

MaRDI QIDQ236448zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A fully parallel calculus of synchronizing processes Lecture Notes in Computer Science	2022-11-02	Paper
A \(\pi \)-calculus with explicit substitutions: the late semantics Mathematical Foundations of Computer Science 1994	2022-08-18	Paper
scientific article; zbMATH DE number 6851912 (Why is no real title available?)	2018-03-21	Paper
scientific article; zbMATH DE number 6416648 (Why is no real title available?)	2015-03-18	Paper
A translation of beta-binders in a prioritized pi-calculus Electronic Notes in Theoretical Computer Science	2014-03-21	Paper
BlenX Static and Dynamic Semantics CONCUR 2009 - Concurrency Theory	2009-10-22	Paper
scientific article; zbMATH DE number 5605055 (Why is no real title available?)	2009-09-19	Paper
On Beta-Binders Communications Concurrency, Graphs and Models	2008-06-19	Paper
Communicating by compatibility The Journal of Logic and Algebraic Programming	2008-04-22	Paper
Transactions on Computational Systems Biology III Lecture Notes in Computer Science	2006-11-14	Paper
Computational Methods in Systems Biology Lecture Notes in Computer Science	2005-12-23	Paper
Computational Methods in Systems Biology Lecture Notes in Computer Science	2005-12-23	Paper
Transactions on Computational Systems Biology I Lecture Notes in Computer Science	2005-08-17	Paper
Explicit substitutions for \(\pi\)-congruences Theoretical Computer Science	2002-03-03	Paper
scientific article; zbMATH DE number 1346361 (Why is no real title available?)	1999-09-30	Paper
A \(\pi\)-calculus with explicit substitutions Theoretical Computer Science	1997-02-27	Paper

Research outcomes over time

This page was built for person: Paola Quaglia