Roberto Bruni
http://pages.di.unipi.it/bruni/
https://zbmath.org/authors/?q=ai:bruni.roberto
https://orcid.org/0000-0002-7771-4154
https://www.wikidata.org/entity/Q56493079
University of Pisa, Italy
Roberto Bruni
Roberto Giacobazzi
Roberta Gori
Francesco Ranzato
A Correctness and Incorrectness Program Logic.
15:1-15:45
2023
April
70
J. ACM
2
https://doi.org/10.1145/3582267
db/journals/jacm/jacm70.html#BruniGGR23
Linda Brodo
Roberto Bruni
Moreno Falaschi
Roberta Gori
Francesca Levi
Paolo Milazzo
Quantitative extensions of reaction systems based on SOS semantics.
6335-6359
2023
March
35
Neural Comput. Appl.
9
https://doi.org/10.1007/s00521-022-07935-6
db/journals/nca/nca35.html#BrodoBFGLM23
Roberto Bruni
Local Completeness for Program Correctness and Incorrectness (Invited Talk).
2:1-2:2
2023
CALCO
https://doi.org/10.4230/LIPIcs.CALCO.2023.2
conf/calco/2023
db/conf/calco/calco2023.html#Bruni23
Mayuko Kori
Flavio Ascari
Filippo Bonchi
Roberto Bruni
Roberta Gori
Ichiro Hasuo
Exploiting Adjoints in Property Directed Reachability Analysis.
41-63
2023
CAV (2)
https://doi.org/10.1007/978-3-031-37703-7_3
conf/cav/2023-2
db/conf/cav/cav2023-2.html#KoriABBGH23
Flavio Ascari
Roberto Bruni
Roberta Gori
Logics for Extensional, Locally Complete Analysis via Domain Refinements.
1-27
2023
ESOP
https://doi.org/10.1007/978-3-031-30044-8_1
conf/esop/2023
db/conf/esop/esop2023.html#AscariBG23
Linda Brodo
Roberto Bruni
Moreno Falaschi
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors.
107-124
2023
PADL
https://doi.org/10.1007/978-3-031-24841-2_8
conf/padl/2023
db/conf/padl/padl2023.html#BrodoBF23
Mayuko Kori
Flavio Ascari
Filippo Bonchi
Roberto Bruni
Roberta Gori
Ichiro Hasuo
Exploiting Adjoints in Property Directed Reachability Analysis.
2023
abs/2307.02817
CoRR
https://doi.org/10.48550/arXiv.2307.02817
db/journals/corr/corr2307.html#abs-2307-02817
Flavio Ascari
Roberto Bruni
Roberta Gori
Francesco Logozzo
Sufficient Incorrectness Logic: SIL and Separation SIL.
2023
abs/2310.18156
CoRR
https://doi.org/10.48550/arXiv.2310.18156
db/journals/corr/corr2310.html#abs-2310-18156
Flavio Ascari
Roberto Bruni
Roberta Gori
Limits and difficulties in the design of under-approximation abstract domains.
21-39
2022
FoSSaCS
https://doi.org/10.1007/978-3-030-99253-8_2
conf/fossacs/2022
db/conf/fossacs/fossacs2022.html#AscariBG22
Roberto Bruni
Roberto Giacobazzi
Roberta Gori
Francesco Ranzato
Abstract interpretation repair.
426-441
2022
PLDI
https://doi.org/10.1145/3519939.3523453
conf/pldi/2022
db/conf/pldi/pldi2022.html#BruniGGR22
Roberto Bruni
Roberta Gori
Nicolas Manini
Deciding Program Properties via Complete Abstractions on Bounded Domains.
175-200
2022
SAS
https://doi.org/10.1007/978-3-031-22308-2_9
conf/sas/2022
db/conf/sas/sas2022.html#BruniGM22
Linda Brodo
Roberto Bruni
Moreno Falaschi
A logical and graphical framework for reaction systems.
1-27
2021
875
Theor. Comput. Sci.
https://doi.org/10.1016/j.tcs.2021.03.024
db/journals/tcs/tcs875.html#BrodoBF21
Linda Brodo
Roberto Bruni
Moreno Falaschi
A process algebraic approach to reaction systems.
62-82
2021
881
Theor. Comput. Sci.
https://doi.org/10.1016/j.tcs.2020.09.001
db/journals/tcs/tcs881.html#BrodoBF21a
Roberto Bruni
Roberto Giacobazzi
Roberta Gori
Francesco Ranzato
A Logic for Locally Complete Abstract Interpretations.
1-13
2021
LICS
https://doi.org/10.1109/LICS52264.2021.9470608
conf/lics/2021
db/conf/lics/lics2021.html#BruniGGR21
Linda Brodo
Roberto Bruni
Moreno Falaschi
Roberta Gori
Francesca Levi
Paolo Milazzo
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems.
15-32
2021
TPNC
https://doi.org/10.1007/978-3-030-90425-8_2
conf/tpnc/2021
db/conf/tpnc/tpnc2021.html#BrodoBFGLM21
Chiara Bodei
Linda Brodo
Roberto Bruni
The link-calculus for open multiparty interactions.
104587
2020
275
Inf. Comput.
https://doi.org/10.1016/j.ic.2020.104587
db/journals/iandc/iandc275.html#BodeiBB20
Roberto Bruni
Roberto Giacobazzi
Roberta Gori
Isabel Garcia-Contreras
Dusko Pavlovic
Abstract extensionality: on the properties of incomplete abstract interpretations.
28:1-28:28
2020
4
POPL
Proc. ACM Program. Lang.
https://doi.org/10.1145/3371096
db/journals/pacmpl/pacmpl4.html#BruniGGGP20
Roberto Bruni
Hernán C. Melgratti
Ugo Montanari
Bayesian network semantics for Petri nets.
95-113
2020
807
Theor. Comput. Sci.
https://doi.org/10.1016/j.tcs.2019.07.034
db/journals/tcs/tcs807.html#BruniMM20
Roberto Bruni
Ugo Montanari
Matteo Sammartino
Algebras for Tree Decomposable Graphs.
203-220
2020
ICGT
https://doi.org/10.1007/978-3-030-51372-6_12
conf/gg/2020
db/conf/gg/icgt2020.html#BruniMS20
Linda Brodo
Roberto Bruni
Moreno Falaschi
SOS Rules for Equivalences of Reaction Systems.
3-21
2020
WFLP
https://doi.org/10.1007/978-3-030-75333-7_1
conf/wflp/2020
db/conf/wflp/wflp2020.html#BrodoBF20
Linda Brodo
Roberto Bruni
Moreno Falaschi
SOS Rules for Equivalences of Reaction Systems.
2020
abs/2008.13016
CoRR
https://arxiv.org/abs/2008.13016
db/journals/corr/corr2008.html#abs-2008-13016
Roberto Bruni
Hernán C. Melgratti
Ugo Montanari
Concurrency and Probability: Removing Confusion, Compositionally.
2019
15
Log. Methods Comput. Sci.
4
https://doi.org/10.23638/LMCS-15(4:17)2019
db/journals/lmcs/lmcs15.html#BruniMM19
Chiara Bodei
Linda Brodo
Roberto Bruni
A formal approach to open multiparty interactions.
38-65
2019
763
Theor. Comput. Sci.
https://doi.org/10.1016/j.tcs.2019.01.033
db/journals/tcs/tcs763.html#BodeiBB19
Linda Brodo
Roberto Bruni
Moreno Falaschi
Enhancing Reaction Systems: A Process Algebraic Approach.
68-85
2019
The Art of Modelling Computational Systems
https://doi.org/10.1007/978-3-030-31175-9_5
conf/birthday/2019palamidessi
db/conf/birthday/palamidessi2019.html#BrodoBF19
Roberto Bruni
Andrea Corradini 0001
Fabio Gadducci
Hernán C. Melgratti
Ugo Montanari
Emilio Tuosto
Data-Driven Choreographies à la Klaim.
170-190
2019
Models, Languages, and Tools for Concurrent and Distributed Programming
https://doi.org/10.1007/978-3-030-21485-2_11
conf/birthday/2019denicola
db/conf/birthday/denicola2019.html#BruniCGMMT19
Roberto Bruni
Ugo Montanari
Giorgio Mossa
A Coalgebraic Approach to Unification Semantics of Logic Programming.
223-240
2019
The Art of Modelling Computational Systems
https://doi.org/10.1007/978-3-030-31175-9_13
conf/birthday/2019palamidessi
db/conf/birthday/palamidessi2019.html#BruniMM19
Roberto Bruni
Ugo Montanari
Petri Inheritance: The Foundation of Nondeterministic, Concurrent Systems.
147-153
2019
Carl Adam Petri: Ideas, Personality, Impact
https://doi.org/10.1007/978-3-319-96154-5_19
books/sp/RR2019
db/books/collections/RR2019.html#BruniM19
Roberto Bruni
Roberto Giacobazzi
Roberta Gori
Code obfuscation against abstraction refinement attacks.
685-711
2018
30
Formal Aspects Comput.
6
https://doi.org/10.1007/s00165-018-0462-6
db/journals/fac/fac30.html#BruniGG18
Paolo Baldan
Roberto Bruni
Andrea Corradini 0001
Fabio Gadducci
Hernán C. Melgratti
Ugo Montanari
Event Structures for Petri nets with Persistence.
2018
14
Log. Methods Comput. Sci.
3
https://doi.org/10.23638/LMCS-14(3:25)2018
db/journals/lmcs/lmcs14.html#BaldanBCGMM18
Roberto Bruni
Hernán C. Melgratti
Ugo Montanari
Concurrency and Probability: Removing Confusion, Compositionally.
195-204
2018
LICS
https://doi.org/10.1145/3209108.3209202
conf/lics/2018
db/conf/lics/lics2018.html#BruniMM18
Roberto Bruni
Roberto Giacobazzi
Roberta Gori
Code Obfuscation Against Abstract Model Checking Attacks.
94-115
2018
VMCAI
https://doi.org/10.1007/978-3-319-73721-8_5
conf/vmcai/2018
db/conf/vmcai/vmcai2018.html#BruniGG18
Paolo Baldan
Roberto Bruni
Andrea Corradini 0001
Fabio Gadducci
Hernán C. Melgratti
Ugo Montanari
Event Structures for Petri nets with Persistence.
2018
abs/1802.03726
CoRR
http://arxiv.org/abs/1802.03726
db/journals/corr/corr1802.html#abs-1802-03726
Chiara Bodei
Linda Brodo
Roberto Bruni
A Formal Approach to Open Multiparty Interactions.
2018
abs/1807.03002
CoRR
http://arxiv.org/abs/1807.03002
db/journals/corr/corr1807.html#abs-1807-03002
Roberto Bruni
Hernán C. Melgratti
Ugo Montanari
Unifying Inference for Bayesian and Petri Nets.
2018
abs/1807.06305
CoRR
http://arxiv.org/abs/1807.06305
db/journals/corr/corr1807.html#abs-1807-06305
Roberto Bruni
Ugo Montanari
Models of Computation
2017
3-356
Texts in Theoretical Computer Science. An EATCS Series
Springer
978-3-319-42898-7
978-3-319-42900-7
https://doi.org/10.1007/978-3-319-42900-7
Roberto Bruni
Hernán C. Melgratti
Ugo Montanari
Concurrency and Probability: Removing Confusion, Compositionally.
2017
abs/1710.04570
CoRR
http://arxiv.org/abs/1710.04570
db/journals/corr/corr1710.html#abs-1710-04570
Roberto Bruni
Ugo Montanari
Matteo Sammartino
Revisiting causality, coalgebraically.
5-33
2015
52
Acta Informatica
1
https://doi.org/10.1007/s00236-014-0207-9
db/journals/acta/acta52.html#BruniMS15
Roberto Bruni
Ugo Montanari
Matteo Sammartino
A coalgebraic semantics for causality in Petri nets.
853-883
2015
84
J. Log. Algebraic Methods Program.
6
https://doi.org/10.1016/j.jlamp.2015.07.003
db/journals/jlp/jlp84.html#BruniMS15
Roberto Bruni
Hernán C. Melgratti
Ugo Montanari
cJoin: Join with communicating transactions.
566-618
2015
25
Math. Struct. Comput. Sci.
3
https://doi.org/10.1017/S0960129512000928
db/journals/mscs/mscs25.html#BruniMM15
Michele Boreale
Roberto Bruni
Rocco De Nicola
Michele Loreti
CaSPiS: a calculus of sessions, pipelines and services.
666-709
2015
25
Math. Struct. Comput. Sci.
3
https://doi.org/10.1017/S0960129512000953
db/journals/mscs/mscs25.html#BorealeBNL15
Roberto Bruni
Alberto Lluch-Lafuente
Ugo Montanari
Constraint design rewriting.
23-30
2015
97
Sci. Comput. Program.
https://doi.org/10.1016/j.scico.2013.11.015
https://www.wikidata.org/entity/Q56493169
db/journals/scp/scp97.html#BruniLM15
Roberto Bruni
Andrea Corradini 0001
Fabio Gadducci
Alberto Lluch-Lafuente
Andrea Vandin
Modelling and analyzing adaptive self-assembly strategies with Maude.
75-94
2015
99
Sci. Comput. Program.
https://doi.org/10.1016/j.scico.2013.11.043
https://www.wikidata.org/entity/Q56493077
db/journals/scp/scp99.html#BruniCGLV15
Roberto Bruni
Andrea Corradini 0001
Fabio Gadducci
Alberto Lluch-Lafuente
Andrea Vandin
Awareness and Control in Adaptable Transition Systems.
19-21
2015
PNSE @ Petri Nets
https://ceur-ws.org/Vol-1372/paper1.pdf
conf/apn/2015pnse
db/conf/apn/pnse2015.html#BruniCGLV15
Roberto Bruni
Ugo Montanari
Matteo Sammartino
Causal Trees, Finally.
27-43
2015
Programming Languages with Applications to Biology and Security
https://doi.org/10.1007/978-3-319-25527-9_4
conf/birthday/2015degano
db/conf/birthday/degano2015.html#BruniMS15
Roberto Bruni
Hernán C. Melgratti
Ugo Montanari
A Normal Form for Stateful Connectors.
205-227
2015
Logic, Rewriting, and Concurrency
https://doi.org/10.1007/978-3-319-23165-5_9
conf/birthday/2015meseguer
db/conf/birthday/meseguer2015.html#BruniMM15
Roberto Bruni
Andrea Corradini 0001
Fabio Gadducci
Alberto Lluch-Lafuente
Andrea Vandin
A White Box Perspective on Behavioural Adaptation.
552-581
2015
Software, Services, and Systems
https://doi.org/10.1007/978-3-319-15545-6_32
https://www.wikidata.org/entity/Q56493245
conf/birthday/2015wirsing
db/conf/birthday/wirsing2015.html#BruniCGLV15
Roberto Bruni
Ugo Montanari
Matteo Sammartino
Reconfigurable and Software-Defined Networks of Connectors and Components.
73-106
2015
The ASCENS Approach
https://doi.org/10.1007/978-3-319-16310-9_2
series/lncs/8998
db/series/lncs/lncs8998.html#BruniMS15
Roberto Bruni
Andrea Corradini 0001
Fabio Gadducci
Matthias M. Hölzl
Alberto Lluch-Lafuente
Andrea Vandin
Martin Wirsing
Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation.
163-184
2015
The ASCENS Approach
https://doi.org/10.1007/978-3-319-16310-9_4
https://www.wikidata.org/entity/Q56493427
series/lncs/8998
db/series/lncs/lncs8998.html#BruniCGHLVW15
Roberto Bruni
Ugo Montanari
Matteo Sammartino
A coalgebraic semantics for causality in Petri nets.
2015
abs/1507.06462
CoRR
http://arxiv.org/abs/1507.06462
db/journals/corr/corr1507.html#BruniMS15
Chiara Bodei
Linda Brodo
Roberto Bruni
Davide Chiarugi
A Flat Process Calculus for Nested Membrane Interactions.
91-136
2014
24
Sci. Ann. Comput. Sci.
1
https://doi.org/10.7561/SACS.2014.1.91
db/journals/cuza/cuza24.html#BodeiBBC14
Roberto Bruni
Ugo Montanari
Gordon D. Plotkin
Daniele Terreni
On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs.
287-317
2014
134
Fundam. Informaticae
3-4
https://doi.org/10.3233/FI-2014-1103
db/journals/fuin/fuin134.html#BruniMPT14
Liang Zhao 0021
Roberto Bruni
Zhiming Liu 0001
A sound and complete theory of graph transformations for service programming with sessions and pipelines.
255-288
2014
94
Sci. Comput. Program.
https://doi.org/10.1016/j.scico.2013.11.029
db/journals/scp/scp94.html#ZhaoB014
Roberto Bruni
Hernán C. Melgratti
Ugo Montanari
Behaviour, Interaction and Dynamics.
382-401
2014
Specification, Algebra, and Software
https://doi.org/10.1007/978-3-642-54624-2_19
conf/birthday/2014futatsugi
db/conf/birthday/futatsugi2014.html#BruniMM14
Roberto Bruni
Hernán C. Melgratti
Ugo Montanari
From Hierarchical BIP to Petri Calculus.
54-68
2014
FPS@ETAPS
https://doi.org/10.1007/978-3-642-54848-2_4
conf/etaps/2014fps
db/conf/etaps/fps2014.html#BruniMM14
Roberto Bruni
Hernán C. Melgratti
Ugo Montanari
Pawel Sobocinski 0001
Connector algebras for C/E and P/T nets' interactions.
2013
Log. Methods Comput. Sci.
https://doi.org/10.2168/LMCS-9(3:16)2013
http://arxiv.org/abs/1307.0204
9
3
db/journals/lmcs/lmcs9.html#BruniMMS13
Roberto Bruni
Andrea Corradini 0001
Fabio Gadducci
Alberto Lluch-Lafuente
Andrea Vandin
Adaptation is a Game.
2013
2
Tiny Trans. Comput. Sci.
http://tinytocs.org/vol2/papers/tinytocs2-bruni.pdf
db/journals/tinytocs/tinytocs2.html#BruniCGLV13
Simon Bliudze
Roberto Bruni
Marco Carbone
Alexandra Silva 0001
Towards Interaction Reliability in Concurrent Applications.
1-4
2012
22
Sci. Ann. Comput. Sci.
1
https://doi.org/10.7561/SACS.2012.1.1
db/journals/cuza/cuza22.html#BliudzeBCS12
Roberto Bruni
Carla Ferreira 0001
Anne Kersten Kauer
First-Order Dynamic Logic for Compensable Processes.
104-121
2012
COORDINATION
https://doi.org/10.1007/978-3-642-30829-1_8
conf/coordination/2012
db/conf/coordination/coordination2012.html#BruniFK12
Roberto Bruni
Andrea Corradini 0001
Fabio Gadducci
Alberto Lluch-Lafuente
Andrea Vandin
A Conceptual Framework for Adaptation.
240-254
2012
FASE
https://doi.org/10.1007/978-3-642-28872-2_17
https://www.wikidata.org/entity/Q56501320
conf/fase/2012
db/conf/fase/fase2012.html#BruniCGLV12
Roberto Bruni
Anne Kersten Kauer
LTS Semantics for Compensation-Based Processes.
112-128
2012
conf/tgc/2012
TGC
https://doi.org/10.1007/978-3-642-41157-1_8
db/conf/tgc/tgc2012.html#BruniK12
Chiara Bodei
Linda Brodo
Roberto Bruni
Open Multiparty Interaction.
1-23
2012
WADT
https://doi.org/10.1007/978-3-642-37635-1_1
conf/wadt/2012
db/conf/wadt/wadt2012.html#BodeiBB12
Roberto Bruni
Andrea Corradini 0001
Fabio Gadducci
Alberto Lluch-Lafuente
Andrea Vandin
Adaptable Transition Systems.
95-110
2012
WADT
https://doi.org/10.1007/978-3-642-37635-1_6
https://www.wikidata.org/entity/Q56500140
conf/wadt/2012
db/conf/wadt/wadt2012.html#BruniCGLV12
Roberto Bruni
Andrea Corradini 0001
Fabio Gadducci
Alberto Lluch-Lafuente
Andrea Vandin
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude.
118-138
2012
WRLA
https://doi.org/10.1007/978-3-642-34005-5_7
https://www.wikidata.org/entity/Q56501451
conf/wrla/2012
db/conf/wrla/wrla2012.html#BruniCGLV12
Roberto Bruni
Vladimiro Sassone
Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
7173
2012
Springer
Lecture Notes in Computer Science
https://doi.org/10.1007/978-3-642-30065-3
978-3-642-30064-6
TGC
db/conf/tgc/tgc2011.html
Sonia Ben Mokhtar
Simon Bliudze
Roberto Bruni
Alexandra Silva 0001
Angelo Troina
Concurrency and Interaction in Complex Systems.
1-4
2011
21
Sci. Ann. Comput. Sci.
1
http://www.info.uaic.ro/bin/Annals/Article?v=XXI1&a=6
db/journals/cuza/cuza21.html#MokhtarBBST11
Roberto Bruni
Alberto Lluch-Lafuente
Ugo Montanari
On Structured Model-Driven Transformations.
185-206
2011
5
Int. J. Softw. Informatics
1-2
http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i89
db/journals/ijsi/ijsi5.html#BruniLM11
Roberto Bruni
Hernán C. Melgratti
Ugo Montanari
A Connector Algebra for P/T Nets Interactions.
312-326
2011
CONCUR
https://doi.org/10.1007/978-3-642-23217-6_21
conf/concur/2011
db/conf/concur/concur2011.html#BruniMM11
Roberto Bruni
Hernán C. Melgratti
Ugo Montanari
Connector Algebras, Petri Nets, and BIP.
19-38
2011
Ershov Memorial Conference
https://doi.org/10.1007/978-3-642-29709-0_2
conf/ershov/2011
db/conf/ershov/ershov2011.html#BruniMM11
Roberto Bruni
Alberto Lluch-Lafuente
Evaluating the Performance of Model Transformation Styles in Maude.
79-96
2011
FACS
https://doi.org/10.1007/978-3-642-35743-5_6
https://www.wikidata.org/entity/Q56501389
conf/facs2/2011
db/conf/facs2/facs2011.html#BruniL11
Roberto Bruni
Hernán C. Melgratti
Ugo Montanari
A Survey on Basic Connectors and Buffers.
49-68
2011
FMCO
https://doi.org/10.1007/978-3-642-35887-6_3
conf/fmco/2011
db/conf/fmco/fmco2011.html#BruniMM11
Roberto Bruni
Andrea Corradini 0001
Gian-Luigi Ferrari 0002
Tito Flagella
Roberto Guanciale
Giorgio Spagnolo
Applying Process Analysis to the Italian eGovernment Enterprise Architecture.
111-127
2011
WS-FM
https://doi.org/10.1007/978-3-642-29834-9_9
conf/wsfm/2011
db/conf/wsfm/wsfm2011.html#BruniCFFGS11
Roberto Bruni
Howard Foster
Alberto Lluch-Lafuente
Ugo Montanari
Emilio Tuosto
A Formal Support to Business and Architectural Design for Service-Oriented Systems.
133-152
2011
Results of the SENSORIA Project
https://doi.org/10.1007/978-3-642-20401-2_7
https://www.wikidata.org/entity/Q56501483
books/sp/sensoria11
db/books/collections/sensoria2011.html#BruniFLMT11
Lucia Acciai
Chiara Bodei
Michele Boreale
Roberto Bruni
Hugo Torres Vieira
Static Analysis Techniques for Session-Oriented Calculi.
214-231
2011
Results of the SENSORIA Project
https://doi.org/10.1007/978-3-642-20401-2_10
books/sp/sensoria11
db/books/collections/sensoria2011.html#AcciaiBBBV11
Roberto Bruni
Andrea Corradini 0001
Fabio Gadducci
Alberto Lluch-Lafuente
Ugo Montanari
Hierarchical Models for Service-Oriented Systems.
349-368
2011
Results of the SENSORIA Project
https://doi.org/10.1007/978-3-642-20401-2_16
https://www.wikidata.org/entity/Q56501513
books/sp/sensoria11
db/books/collections/sensoria2011.html#BruniCGLM11
Roberto Bruni
Jürgen Dingel
Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
6722
2011
https://doi.org/10.1007/978-3-642-21461-5
https://www.wikidata.org/entity/Q59416332
978-3-642-21460-8
FMOODS/FORTE
Lecture Notes in Computer Science
Springer
db/conf/forte/forte2011.html
Alexandra Silva 0001
Simon Bliudze
Roberto Bruni
Marco Carbone
Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011.
ICE
https://doi.org/10.4204/EPTCS.59
http://arxiv.org/abs/1108.0144
2011
EPTCS
59
db/series/eptcs/eptcs59.html
Roberto Bruni
Fabio Gadducci
Alberto Lluch-Lafuente
An Algebra of Hierarchical Graphs and its Application to Structural Encoding.
53-96
2010
20
Sci. Ann. Comput. Sci.
http://www.info.uaic.ro/bin/Annals/Article?v=XX&a=2
db/journals/cuza/cuza20.html#BruniGL10
Roberto Bruni
Andrea Corradini 0001
Ugo Montanari
Modeling a Service and Session Calculus with Hierarchical Graph Transformation.
2010
30
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
https://doi.org/10.14279/tuj.eceasst.30.427
db/journals/eceasst/eceasst30.html#BruniCM10
Roberto Bruni
Andrea Corradini 0001
Fabio Gadducci
Alberto Lluch-Lafuente
Ugo Montanari
On GS-Monoidal Theories for Graphs with Nesting.
59-86
2010
Graph Transformations and Model-Driven Engineering
https://doi.org/10.1007/978-3-642-17322-6_4
https://www.wikidata.org/entity/Q56501660
conf/birthday/2010nagl
db/conf/birthday/nagl2010.html#BruniCGLM10
Roberto Bruni
Zhiming Liu 0001
Liang Zhao 0022
Graph Representation of Sessions and Pipelines for Structured Service Programming.
259-276
2010
FACS
https://doi.org/10.1007/978-3-642-27269-1_15
conf/facs2/2010
db/conf/facs2/facs2010.html#BruniLZ10
Artur Boronat
Roberto Bruni
Alberto Lluch-Lafuente
Ugo Montanari
Generoso Paolillo
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning.
2-16
2010
FMOODS/FORTE
https://doi.org/10.1007/978-3-642-13464-7_2
https://www.wikidata.org/entity/Q56501630
conf/forte/2010
db/conf/forte/forte2010.html#BoronatBLMP10
Roberto Bruni
Fabio Gadducci
Alberto Lluch-Lafuente
An Algebra of Hierarchical Graphs.
205-221
2010
TGC
https://doi.org/10.1007/978-3-642-15640-3_14
https://www.wikidata.org/entity/Q56501589
conf/tgc/2010
db/conf/tgc/tgc2010.html#BruniGL10
Roberto Bruni
Anne Kersten
Ivan Lanese
Giorgio Spagnolo
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions.
42-60
2010
WADT
https://doi.org/10.1007/978-3-642-28412-0_5
conf/wadt/2010
db/conf/wadt/wadt2010.html#BruniKLS10
Simon Bliudze
Roberto Bruni
Davide Grohmann
Alexandra Silva 0001
Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, ICE 2010, Amsterdam, The Netherlands, 10th of June 2010.
ICE
https://doi.org/10.4204/EPTCS.38
http://arxiv.org/abs/1010.5308
2010
EPTCS
38
db/series/eptcs/eptcs38.html
Roberto Bruni
Alberto Lluch-Lafuente
Ten virtues of structured graphs.
2009
18
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
https://doi.org/10.14279/tuj.eceasst.18.261
db/journals/eceasst/eceasst18.html#BruniL09
Roberto Bruni
Matthias M. Hölzl
Nora Koch
Alberto Lluch-Lafuente
Philip Mayer
Ugo Montanari
Andreas Schroeder 0001
Martin Wirsing
A Service-Oriented UML Profile with Formal Support.
455-469
2009
ICSOC/ServiceWave
https://doi.org/10.1007/978-3-642-10383-4_34
https://www.wikidata.org/entity/Q56501691
conf/icsoc/2009
db/conf/icsoc/icsoc2009.html#BruniHKLMMSW09
Chiara Bodei
Linda Brodo
Roberto Bruni
Static Detection of Logic Flaws in Service-Oriented Applications.
70-87
2009
ARSPA-WITS
https://doi.org/10.1007/978-3-642-03459-6_5
conf/ifip1-7/2009wits
db/conf/ifip1-7/wits2009.html#BodeiBB09
Roberto Bruni
Calculi for Service-Oriented Computing.
1-41
2009
SFM
https://doi.org/10.1007/978-3-642-01918-0_1
conf/sfm/2009
db/conf/sfm/sfm2009.html#Bruni09
Roberto Bruni
Fabio Gadducci
Alberto Lluch-Lafuente
A Graph Syntax for Processes and Services.
46-60
2009
WS-FM
https://doi.org/10.1007/978-3-642-14458-5_3
https://www.wikidata.org/entity/Q56501571
conf/wsfm/2009
db/conf/wsfm/wsfm2009.html#BruniGL09
Roberto Bruni
Karsten Wolf
Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
5387
2009
https://doi.org/10.1007/978-3-642-01364-5
978-3-642-01363-8
WS-FM
Lecture Notes in Computer Science
Springer
db/conf/wsfm/wsfm2008.html
Roberto Bruni
Alberto Lluch-Lafuente
Ugo Montanari
Style-Based Architectural Reconfigurations.
161-180
2008
94
Bull. EATCS
db/journals/eatcs/eatcs94.html#BruniLM08
Roberto Bruni
Ivan Lanese
Parametric synchronizations in mobile nominal calculi.
102-119
2008
402
Theor. Comput. Sci.
2-3
https://doi.org/10.1016/j.tcs.2008.04.029
db/journals/tcs/tcs402.html#BruniL08
Roberto Bruni
Leonardo Gaetano Mezzina
Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines.
100-115
2008
AMAST
https://doi.org/10.1007/978-3-540-79980-1_8
conf/amast/2008
db/conf/amast/amast2008.html#BruniM08
Roberto Bruni
Antonio Bucchiarone
Stefania Gnesi
Dan Hirsch
Alberto Lluch-Lafuente
Graph-Based Design and Analysis of Dynamic Software Architectures.
37-56
2008
Concurrency, Graphs and Models
https://doi.org/10.1007/978-3-540-68679-8_4
https://www.wikidata.org/entity/Q56501799
conf/birthday/2008montanari
db/conf/birthday/montanari2008.html#BruniBGHL08
Roberto Bruni
Vladimiro Sassone
Models of Computation: A Tribute to Ugo Montanari's Vision.
503-509
2008
Concurrency, Graphs and Models
https://doi.org/10.1007/978-3-540-68679-8_31
conf/birthday/2008montanari
db/conf/birthday/montanari2008.html#BruniS08
Roberto Bruni
Ivan Lanese
Hernán C. Melgratti
Emilio Tuosto
Multiparty Sessions in SOC.
67-82
2008
COORDINATION
https://doi.org/10.1007/978-3-540-68265-3_5
conf/coordination/2008
db/conf/coordination/coordination2008.html#BruniLMT08
Michele Boreale
Roberto Bruni
Rocco De Nicola
Michele Loreti
Sessions and Pipelines for Structured Service Programming.
19-38
2008
FMOODS
https://doi.org/10.1007/978-3-540-68863-1_3
conf/fmoods/2008
db/conf/fmoods/fmoods2008.html#BorealeBNL08
Roberto Bruni
Rocco De Nicola
Michele Loreti
Leonardo Gaetano Mezzina
Provably Correct Implementations of Services.
69-86
2008
TGC
https://doi.org/10.1007/978-3-642-00945-7_5
conf/tgc/2008
db/conf/tgc/tgc2008.html#BruniNLM08
Farhad Arbab
Roberto Bruni
Dave Clarke 0001
Ivan Lanese
Ugo Montanari
Tiles for Reo.
37-55
2008
WADT
https://doi.org/10.1007/978-3-642-03429-9_4
conf/wadt/2008
db/conf/wadt/wadt2008.html#ArbabBCLM08
Andrea Bracciali
Roberto Bruni
Alberto Lluch-Lafuente
On Symbolic Semantics for Name-decorated Contexts.
37-58
2008
conf/ice/2008
ICE@ICALP
https://doi.org/10.1016/j.entcs.2009.06.038
https://www.wikidata.org/entity/Q56501709
db/conf/ice/ice2008.html#BraccialiBL09
Roberto Bruni
Alberto Lluch-Lafuente
Ugo Montanari
Hierarchical Design Rewriting with Maude.
45-62
2008
conf/wrla/2008
WRLA
https://doi.org/10.1016/j.entcs.2009.05.012
https://www.wikidata.org/entity/Q56501701
db/conf/wrla/wrla2008.html#BruniLM09
Roberto Bruni
Dániel Varró
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria, April 1-2, 2006
GT-VMT@ETAPS
Electronic Notes in Theoretical Computer Science
211
Elsevier
2008
https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/211/suppl/C
db/journals/entcs/entcs211.html
Paolo Baldan
Andrea Bracciali
Roberto Bruni
A semantic framework for open processes.
446-483
2007
389
Theor. Comput. Sci.
3
https://doi.org/10.1016/j.tcs.2007.09.004
https://www.wikidata.org/entity/Q62046303
db/journals/tcs/tcs389.html#BaldanBB07
Paolo Baldan
Andrea Bracciali
Linda Brodo
Roberto Bruni
Deducing Interactions in Partially Unspecified Biological Systems.
262-276
2007
conf/ab/2007
AB
https://doi.org/10.1007/978-3-540-73433-8_19
db/conf/ab/ab2007.html#BaldanBBB07
Roberto Bruni
Alberto Lluch-Lafuente
Ugo Montanari
Emilio Tuosto
Service Oriented Architectural Design.
186-203
2007
TGC
https://doi.org/10.1007/978-3-540-78663-4_14
https://www.wikidata.org/entity/Q56501812
conf/tgc/2007
db/conf/tgc/tgc2007.html#BruniLMT07
Roberto Bruni
Antonio Bucchiarone
Stefania Gnesi
Hernán C. Melgratti
Modelling Dynamic Software Architectures using Typed Graph Grammars.
39-53
2007
conf/concur/2007gtvc
GT-VC@CONCUR
https://doi.org/10.1016/j.entcs.2008.04.073
db/journals/entcs/entcs213.html#BruniBGM08
Ugo Montanari
Donald Sannella
Roberto Bruni
Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
TGC
Lecture Notes in Computer Science
4661
Springer
2007
978-3-540-75333-9
https://doi.org/10.1007/978-3-540-75336-0
db/conf/tgc/tgc2006.html
Roberto Bruni
Hernán C. Melgratti
Ugo Montanari
Event Structure Semantics for Dynamic Graph Grammars.
2006
2
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
https://doi.org/10.14279/tuj.eceasst.2.57
db/journals/eceasst/eceasst2.html#BruniMM06
Roberto Bruni
José Meseguer 0001
Semantic foundations for generalized rewrite theories.
386-414
2006
360
Theor. Comput. Sci.
1-3
https://doi.org/10.1016/j.tcs.2006.04.012
db/journals/tcs/tcs360.html#BruniM06
Roberto Bruni
Ivan Lanese
Ugo Montanari
A basic algebra of stateless connectors.
98-120
2006
366
Theor. Comput. Sci.
1-2
https://doi.org/10.1016/j.tcs.2006.07.005
db/journals/tcs/tcs366.html#BruniLM06
Roberto Bruni
Hernán C. Melgratti
Non-sequential Behaviour of Dynamic Nets.
105-124
2006
conf/apn/2006
ICATPN
https://doi.org/10.1007/11767589_7
db/conf/apn/icatpn2006.html#BruniM06
Roberto Bruni
Hernán C. Melgratti
Ugo Montanari
Event Structure Semantics for Nominal Calculi.
295-309
2006
conf/concur/2006
CONCUR
https://doi.org/10.1007/11817949_20
db/conf/concur/concur2006.html#BruniMM06
Roberto Bruni
Hernán C. Melgratti
Dynamic Graph Transformation Systems.
230-244
2006
conf/gg/2006
ICGT
https://doi.org/10.1007/11841883_17
db/conf/gg/icgt2006.html#BruniM06
Roberto Bruni
Ivan Lanese
PRISMA: A Mobile Calculus with Parametric Synchronization.
132-149
2006
conf/tgc/2006
TGC
https://doi.org/10.1007/978-3-540-75336-0_9
db/conf/tgc/tgc2006.html#BruniL06
Michele Boreale
Roberto Bruni
Luís Caires
Rocco De Nicola
Ivan Lanese
Michele Loreti
Francisco Martins
Ugo Montanari
António Ravara
Davide Sangiorgi
Vasco Thudichum Vasconcelos
Gianluigi Zavattaro
SCC: A Service Centered Calculus.
38-57
2006
conf/wsfm/2006
WS-FM
https://doi.org/10.1007/11841197_3
db/conf/wsfm/wsfm2006.html#BorealeBCNLLMMRSVZ06
Roberto Bruni
Hernán C. Melgratti
Emilio Tuosto
Translating Orc Features into Petri Nets and the Join Calculus.
123-137
2006
conf/wsfm/2006
WS-FM
https://doi.org/10.1007/11841197_8
db/conf/wsfm/wsfm2006.html#BruniMT06
Roberto Bruni
Dániel Varró
Preface.
1-3
2006
conf/gtvmt/2006
GT-VMT@ETAPS
https://doi.org/10.1016/j.entcs.2008.04.024
https://www.wikidata.org/entity/Q57090125
db/journals/entcs/entcs211.html#BruniV08
Roberto Bruni
Ugo Montanari
Vladimiro Sassone
Observational congruences for dynamically reconfigurable tile systems.
331-372
2005
335
Theor. Comput. Sci.
2-3
https://doi.org/10.1016/j.tcs.2004.10.044
db/journals/tcs/tcs335.html#BruniMS05
Roberto Bruni
Ivan Lanese
Ugo Montanari
Complete Axioms for Stateless Connectors.
98-113
2005
conf/calco/2005
CALCO
https://doi.org/10.1007/11548133_7
db/conf/calco/calco2005.html#BruniLM05
Roberto Bruni
Fabio Gadducci
Ugo Montanari
Pawel Sobocinski 0001
Deriving Weak Bisimulation Congruences from Reduction Systems.
293-307
2005
conf/concur/2005
CONCUR
https://doi.org/10.1007/11539452_24
db/conf/concur/concur2005.html#BruniGMS05
Roberto Bruni
Michael J. Butler
Carla Ferreira 0001
C. A. R. Hoare
Hernán C. Melgratti
Ugo Montanari
Comparing Two Approaches to Compensable Flow Composition.
383-397
2005
conf/concur/2005
CONCUR
https://doi.org/10.1007/11539452_30
db/conf/concur/concur2005.html#BruniBFHMM05
Roberto Bruni
Gian-Luigi Ferrari 0002
Hernán C. Melgratti
Ugo Montanari
Daniele Strollo
Emilio Tuosto
From Theory to Practice in Transactional Composition of Web Services.
272-286
2005
conf/epew/2005
EPEW/WS-FM
https://doi.org/10.1007/11549970_20
db/conf/epew/epew2005.html#BruniFMMST05
Roberto Bruni
Hernán C. Melgratti
Ugo Montanari
Theoretical foundations for compensations in flow composition languages.
209-220
2005
conf/popl/2005
POPL
https://doi.org/10.1145/1040305.1040323
https://doi.org/10.1145/1047659.1040323
db/conf/popl/popl2005.html#BruniMM05
Roberto Bruni
Ugo Montanari
Concurrent models for Linda with transactions.
421-468
2004
14
Math. Struct. Comput. Sci.
3
https://doi.org/10.1017/S0960129504004189
db/journals/mscs/mscs14.html#BruniM04
Paolo Baldan
Andrea Bracciali
Roberto Bruni
Symbolic Equivalences for Open Systems.
1-17
https://doi.org/10.1007/978-3-540-31794-4_1
2004
conf/gc/2004
Global Computing
db/conf/gc/gc2004.html#BaldanBB04
Roberto Bruni
José Luiz Fiadeiro
Ivan Lanese
Antónia Lopes
Ugo Montanari
New Insights on Architectural Connectors.
367-380
2004
conf/ifipTCS/2004
IFIP TCS
db/conf/ifipTCS/ifipTCS2004.html#BruniFLLM04
https://doi.org/10.1007/1-4020-8141-3_29
Roberto Bruni
Hernán C. Melgratti
Ugo Montanari
Nested Commits for Mobile Calculi: Extending Join.
563-576
2004
conf/ifipTCS/2004
IFIP TCS
db/conf/ifipTCS/ifipTCS2004.html#BruniMM04
https://doi.org/10.1007/1-4020-8141-3_43
Alberto Baragatti
Roberto Bruni
Hernán C. Melgratti
Ugo Montanari
Giorgio Spagnolo
Prototype Platforms for Distributed Agreements.
21-40
2004
conf/foclasa/2004
FOCLASA
https://doi.org/10.1016/j.entcs.2006.10.044
db/conf/foclasa/foclasa2004.html#BaragattiBMMS07
Roberto Bruni
Furio Honsell
Marina Lenisa
Marino Miculan
Modeling Fresh Names in the ?-calculus Using Abstractions.
25-41
2004
conf/cmcs/2004
CMCS
https://doi.org/10.1016/j.entcs.2004.02.039
db/journals/entcs/entcs106.html#BruniHLM04
Roberto Bruni
Ivan Lanese
Summary 3: On Graph(ic) Encodings.
2004
conf/dagstuhl/2004P4241
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems
http://drops.dagstuhl.de/opus/volltexte/2005/30
db/conf/dagstuhl/P4241.html#BruniL04
Roberto Bruni
Hernán C. Melgratti
Ugo Montanari
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets.
291-327
https://doi.org/10.1007/978-3-540-27755-2_7
2003
conf/ac/2003pn
Lectures on Concurrency and Petri Nets
db/conf/ac/acpn2003.html#BruniMM03
Roberto Bruni
José Meseguer 0001
Generalized Rewrite Theories.
252-266
2003
conf/icalp/2003
ICALP
https://doi.org/10.1007/3-540-45061-0_22
db/conf/icalp/icalp2003.html#BruniM03
Roberto Bruni
José Meseguer 0001
Ugo Montanari
Vladimiro Sassone
Algebraic Theories for Contextual Pre-nets.
256-270
https://doi.org/10.1007/978-3-540-45208-9_21
2003
conf/ictcs/2003
ICTCS
db/conf/ictcs/ictcs2003.html#BruniMMS03
Roberto Bruni
Hernán C. Melgratti
Ugo Montanari
Flat Committed Join in Join.
39-59
2003
conf/cometa/2003
COMETA
https://doi.org/10.1016/j.entcs.2004.09.021
db/journals/entcs/entcs104.html#BruniMM04
Roberto Bruni
José Meseguer 0001
Ugo Montanari
Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic.
53-90
2002
12
Math. Struct. Comput. Sci.
1
db/journals/mscs/mscs12.html#BruniMM02
https://doi.org/10.1017/S0960129501003462
Roberto Bruni
Ugo Montanari
Dynamic connectors for concurrency.
131-176
2002
281
Theor. Comput. Sci.
1-2
db/journals/tcs/tcs281.html#BruniM02
https://doi.org/10.1016/S0304-3975(02)00011-7
Roberto Bruni
Fabio Gadducci
Ugo Montanari
Normal forms for algebras of connection.
247-292
2002
286
Theor. Comput. Sci.
2
db/journals/tcs/tcs286.html#BruniGM02
https://doi.org/10.1016/S0304-3975(01)00318-8
Paolo Baldan
Andrea Bracciali
Roberto Bruni
Bisimulation by Unification.
254-270
2002
conf/amast/2002
AMAST
https://doi.org/10.1007/3-540-45719-4_18
db/conf/amast/amast2002.html#BaldanBB02
Roberto Bruni
Cosimo Laneve
Ugo Montanari
Orchestrating Transactions in Join Calculus.
321-337
2002
conf/concur/2002
CONCUR
https://doi.org/10.1007/3-540-45694-5_22
db/conf/concur/concur2002.html#BruniLM02
Luís Andrade 0001
Paolo Baldan
Hubert Baumeister
Roberto Bruni
Andrea Corradini 0001
Rocco De Nicola
José Luiz Fiadeiro
Fabio Gadducci
Stefania Gnesi
Piotr Hoffman
Nora Koch
Piotr Kosiuczenko
Alessandro Lapadula
Diego Latella
Antónia Lopes
Michele Loreti
Mieke Massink
Franco Mazzanti
Ugo Montanari
Cristóvão Oliveira
Rosario Pugliese
Andrzej Tarlecki
Michel Wermelinger
Martin Wirsing
Artur Zawlocki
AGILE: Software Architecture for Mobility.
1-33
https://doi.org/10.1007/978-3-540-40020-2_1
2002
conf/wadt/2002
WADT
db/conf/wadt/wadt2002.html#AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02
Paolo Baldan
Roberto Bruni
Ugo Montanari
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation.
145-164
https://doi.org/10.1007/978-3-540-40020-2_8
2002
conf/wadt/2002
WADT
db/conf/wadt/wadt2002.html#BaldanBM02
Roberto Bruni
José Meseguer 0001
Ugo Montanari
Tiling Transactions in Rewriting Logic.
2002
conf/wrla/2002
WRLA
https://doi.org/10.1016/S1571-0661(05)82530-7
db/journals/entcs/entcs71.html#BruniMM02
90-109
Roberto Bruni
José Meseguer 0001
Ugo Montanari
Vladimiro Sassone
Functorial Models for Petri Nets.
207-236
2001
170
Inf. Comput.
2
https://doi.org/10.1006/inco.2001.3050
db/journals/iandc/iandc170.html#BruniMMS01
Roberto Bruni
Ugo Montanari
Francesca Rossi 0001
An interactive semantics of logic programming.
647-690
2001
1
Theory Pract. Log. Program.
6
db/journals/tplp/tplp1.html#BruniMR01
https://doi.org/10.1017/S1471068401000035
Roberto Bruni
Ugo Montanari
Transactions and Zero-Safe Nets.
380-426
2001
conf/apn/2001u
Unifying Petri Nets
https://doi.org/10.1007/3-540-45541-8_12
db/conf/apn/upn2001.html#BruniM01
Roberto Bruni
Vladimiro Sassone
Two Algebraic Process Semantics for Contextual Nets.
427-456
2001
conf/apn/2001u
Unifying Petri Nets
https://doi.org/10.1007/3-540-45541-8_13
db/conf/apn/upn2001.html#BruniS01
Roberto Bruni
Ugo Montanari
Zero-safe net models for transactions in Linda.
2001
conf/lipari/2001concoord
ConCoord
https://doi.org/10.1016/S1571-0661(04)00239-7
db/journals/entcs/entcs54.html#BruniM01
106-116
Roberto Bruni
Furio Honsell
Marina Lenisa
Marino Miculan
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic.
2001
conf/tosca2/2001
TOSCA
https://doi.org/10.1016/S1571-0661(04)00324-X
db/journals/entcs/entcs62.html#BruniHLM01
136-156
Roberto Bruni
Fabio Gadducci
Some algebraic laws for spans.
2001
conf/relmis/2001
RelMiS
175-193
https://doi.org/10.1016/S1571-0661(04)80937-X
db/conf/relmis/relmis2001.html#BruniG01
Roberto Bruni
Ugo Montanari
Francesca Rossi 0001
An interactive semantics of logic programming
https://arxiv.org/abs/cs/0107022
2001
CoRR
cs.LO/0107022
db/journals/corr/corr0107.html#cs-LO-0107022
Roberto Bruni
Ugo Montanari
Zero-Safe Nets: Comparing the Collective and Individual Token Approaches.
46-89
2000
156
Inf. Comput.
1-2
db/journals/iandc/iandc156.html#BruniM00
https://doi.org/10.1006/inco.1999.2819
Roberto Bruni
Ugo Montanari
Executing Transactions in Zero-Safe Nets.
83-102
2000
conf/apn/2000
ICATPN
https://doi.org/10.1007/3-540-44988-4_7
db/conf/apn/icatpn2000.html#BruniM00
Roberto Bruni
David de Frutos-Escrig
Narciso Martí-Oliet
Ugo Montanari
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic.
259-274
https://doi.org/10.1007/3-540-44618-4_20
2000
conf/concur/2000
CONCUR
db/conf/concur/concur2000.html#BruniFMM00
Roberto Bruni
Vladimiro Sassone
Algebraic Models for Contextual Nets.
175-186
https://doi.org/10.1007/3-540-45022-X_15
2000
conf/icalp/2000
ICALP
db/conf/icalp/icalp2000.html#BruniS00
Roberto Bruni
Ugo Montanari
Vladimiro Sassone
Open Ended Systems, Dynamic Bisimulation and Tile Logic.
440-456
https://doi.org/10.1007/3-540-44929-9_31
2000
conf/ifipTCS/2000
IFIP TCS
db/conf/ifipTCS/ifipTCS2000.html#BruniMS00
Roberto Bruni
José Meseguer 0001
Ugo Montanari
Executable Tile Specifications for Process Calculi.
60-76
1999
conf/fase/1999
FASE
db/conf/fase/fase99.html#BruniMM99
https://doi.org/10.1007/978-3-540-49020-3_5
Roberto Bruni
Ugo Montanari
Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus.
246-265
1999
conf/lics/1999
LICS
https://doi.org/10.1109/LICS.1999.782620
https://doi.ieeecomputersociety.org/10.1109/LICS.1999.782620
db/conf/lics/lics99.html#BruniM99
Roberto Bruni
José Meseguer 0001
Ugo Montanari
Vladimiro Sassone
Functorial semantics for Petri nets under the individual token philosophy.
1999
conf/ctcs/1999
CTCS
db/journals/tcs/entcs29.html#BruniMMS99
https://doi.org/10.1016/S1571-0661(05)80302-0
21
Roberto Bruni
José Meseguer 0001
Ugo Montanari
Vladimiro Sassone
A Comparison of Petri Net Semantics under the Collective Token Philosophy.
225-244
1998
conf/asian/1998
ASIAN
https://doi.org/10.1007/3-540-49366-2_18
db/conf/asian/asian98.html#BruniMMS98
Roberto Bruni
Fabio Gadducci
Ugo Montanari
Normal Forms for Partitions and Relations.
31-47
https://doi.org/10.1007/3-540-48483-3_3
1998
conf/wadt/1998
WADT
db/conf/wadt/wadt98.html#BruniGM98
Roberto Bruni
A logic for modular descriptions of asynchronous and synchronized concurrent systems.
1998
conf/wrla/1998
WRLA
https://doi.org/10.1016/S1571-0661(05)80760-1
db/journals/entcs/entcs15.html#Bruni98
161-172
Roberto Bruni
José Meseguer 0001
Ugo Montanari
Internal strategies in a rewriting implementation of tile systems.
1998
conf/wrla/1998
WRLA
https://doi.org/10.1016/S1571-0661(05)80016-7
db/journals/entcs/entcs15.html#BruniMM98
263-284
Roberto Bruni
Ugo Montanari
Zero-safe nets: The individual token approach.
122-140
1997
conf/wadt/1997
WADT
db/conf/wadt/wadt97.html#BruniM97
https://doi.org/10.1007/3-540-64299-4_30
Roberto Bruni
Ugo Montanari
Zero-safe nets, or transition synchronization made simple.
1997
conf/express/1997
EXPRESS
https://doi.org/10.1016/S1571-0661(05)80466-9
db/journals/entcs/entcs7.html#BruniM97
55-74
Lucia Acciai
Luís Filipe AndradeLuís Andrade 0001
Farhad Arbab
Flavio Ascari
Paolo Baldan
Alberto Baragatti
Hubert Baumeister
Simon Bliudze
Chiara Bodei
Filippo Bonchi
Michele Boreale
Artur Boronat
Andrea Bracciali
Linda Brodo
Antonio Bucchiarone
Michael J. Butler
Luís Caires
Marco Carbone
Davide Chiarugi
Dave Clarke 0001
Andrea Corradini 0001
Jürgen Dingel
Moreno Falaschi
Gian-Luigi Ferrari 0002
Carla Ferreira 0001
José Luiz Fiadeiro
Tito Flagella
Howard Foster
David de Frutos-Escrig
Fabio Gadducci
Isabel Garcia-Contreras
Roberto Giacobazzi
Stefania Gnesi
Roberta Gori
Davide Grohmann
Roberto Guanciale
Ichiro Hasuo
Dan Hirsch
C. A. R. Hoare
Piotr Hoffman
Matthias M. Hölzl
Furio Honsell
Anne Kersten KauerAnne Kersten
Nora Koch
Mayuko Kori
Piotr Kosiuczenko
Ivan Lanese
Cosimo Laneve
Alessandro Lapadula
Diego Latella
Marina Lenisa
Francesca Levi
Zhiming Liu 0001
Alberto Lluch-Lafuente
Francesco Logozzo
Antónia Lopes
Michele Loreti
Nicolas Manini
Narciso Martí-Oliet
Francisco Martins
Mieke Massink
Philip Mayer
Franco Mazzanti
Hernán C. Melgratti
José Meseguer 0001
Leonardo Gaetano Mezzina
Marino Miculan
Paolo Milazzo
Sonia Ben Mokhtar
Ugo Montanari
Giorgio Mossa
Rocco De Nicola
Cristóvão Oliveira
Generoso Paolillo
Dusko Pavlovic
Gordon D. Plotkin
Rosario Pugliese
Francesco Ranzato
António Ravara
Francesca Rossi 0001
Matteo Sammartino
Davide Sangiorgi
Donald Sannella
Vladimiro Sassone
Andreas Schroeder 0001
Alexandra Silva 0001
Pawel Sobocinski 0001
Giorgio Spagnolo
Daniele Strollo
Andrzej Tarlecki
Daniele Terreni
Angelo Troina
Emilio Tuosto
Andrea Vandin
Dániel Varró
Vasco Thudichum Vasconcelos
Hugo Torres Vieira
Michel Wermelinger
Martin Wirsing
Karsten Wolf
Gianluigi Zavattaro
Artur Zawlocki
Liang Zhao 0021
Liang Zhao 0022